Theorem 2: tangent and radius always meets at right angles