Zu-Geng's axiom vs Cavalieri's theory