Установите вид доказательства. Требуется доказать

Установите вид доказательства: Требуется доказать, что через каждую точку прямой можно провести перпендикулярную ей прямую, и только одну. Допустив, что таких прямых можно провести хотя бы две, мы приходим к выводу, что от данной полупрямой в данную полуплоскость можно отложить два угла с одной и той же градусной мерой (90°). А это противоречит аксиоме, согласно которой от данной полупрямой в данную полуплоскость можно отложить лишь один угол с данной градусной мерой. Значит, наше предположение неверно и теорема доказана.