Dessa postulat följa här,