这个命题和命题：过直线外一点有且只有一条直线和已知直线平行是等价的.上述命题又等价于欧几里得第五公理,即平行公理.既然是公理就没法证明.不过这个平行公理自问世来就争议颇多,后来导致了非欧几何的诞生.