Cavalieri's principle