La justificación de estas dos fórmulas se basa en el principio de Cavalieri cuyo enunciado es el siguiente: