By the definition of complementary angles, since is complementary to , . By the vertical angles theorem, , and by the definition of congruence. Combined with the given equation, , the substitution property of equality means that . Using the substitution property of equality , 90 degrees . Finally, using the vertical angles theorem , .