Angle Theorem 2
The angle in a semicircle is 90°.
Information: Angle Theorem 2