Cтраница 4
На любой прямой от любой ее точки можно отложить отрезок, равный данному. [46]
У любой прямой р существуют точки, лежащие вне окружности со. [47]
На любой прямой существуют два взаимно противоположных отношения предшествования. [48]
Для любой прямой существуют точки, принадлежащие прямой, и точки, не принадлежащие прямой. [49]
Для любой прямой D и любой точки х ф D через к проходит по крайней мере одна прямая, параллельная D; если найдется пара ( D0 Xo), для которой эта прямая единственна, то и для всех пар ( D, х) можно доказать единственность параллельной; в этом случае плоскость П евклидова; в противном случае П будет ( гиперболической) плоскостью Лобачевского. [50]