Se sabe por simetría que cualquier radio r de la circunferencia k es perpendicular a la tangente del punto T que dicho radio define en la misma, por lo que concluimos que ángulo OTP es necesariamente recto.