Puesto que ambas geometrías son consistentes, se deduce que el quinto postulado es, en efecto, un postulado que no puede deducirse de los otros cuatro.