Postulat 4 er ofte omtalt som et teorem, men trengs som et postulat for at innholdet i postulat 5 skal ha mening.