Теорема о единственности восстановленного перпендикуляра к прямой.​

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