Теорема о перпендикуляре к прямой

Теорема о перпендикуляре к прямой: Из точки, не лежащей на данной прямой, можно провести к этой прямой перпендикуляр, и притом только один.