Это аксиома прямых. На этом утверждении строится геометрия Евклида, оно само берётся как данное.
Лобачевский вычеркнул эту аксиому и получил свои формулы, известные как геометрия Лобачевского. К ней прибегают, когда говорят об искривлении пространств, потому что в масштабах галактик она кажется правильнее формул Евклида с Пифагором.