Theorem index
Theorem 5

Circle Theorem 4
Angle in a semi-circle is a right angle