Detta är ett postulat i denptakliska