At deria postulat följer,