Theorem index
Theorem 3

Circle Theorem 2
Angle between a tangent and a radius is 90°