"Cavalieri's quadrature formula" . . . . . . . "proof of Cavalieri's quadrature formula" . . . . "integral" . . . "Cavalieri's quadrature formula" .