Теорема о касательной к окружности

Формулировка

'Касательная к окружности перпендикулярна радиусу, проведенному в точку касания.'

Доказательство

] ОА не ⊥ р ⇒∃ (∙) Н ∈ р : ОН⊥р 
⇒ ОН < OA 
⇒ ОН < r
⇒ p - секущая, но р - касательная
⇒ ОА⊥р

ч.т.д.