It has been proven that our theorem 1.1.1 is equivalent to the parallel postulate.
It has been proven that our theorem 1.1.1 is equivalent to the parallel postulate.
By one denial of the parallel postulate,
in spherical geometry there are no parallel lines, we will find that interior angles sum to more than 180 degrees.