This theorem ... angle bisector between two arms at 90 degrees (right angle) makes it easier to see how the inverse angles are complementary instead of complex-angled shapes like isosceles triangles.