Выдержка из книги
Погорелов А.В.
Основания геометрии Издание 4
То, что производная р зависит только от д - угла, образуемого отрезком АВ с прямой а, и не зависит от расстояния между А и В, устанавливается точно так же, как равенство правой и левой производной, с той лишь разницей, что точка В на продолжении отрезка ВА берется произвольно.
