9. Перпендикуляр к прямой (теорема)

Теорема: Через любую точку, не лежащую на данной прямой, проходит ровно одна прямая, перпендикулярная данной.