Лемма: пирамидаҳои асосҳояшон баробар-масоҳат
Барои исботи формула ба лемма ниёз дорем. Ин хосият аз принсипи Кавалиерӣ ва теоремаи буриши параллелии пирамида (10 · 1/2) мебарояд.
Исбот. Пирамидаҳоро асосҳояшон дар як ҳамворӣ мегузорем. Қуллаҳо дар як сатҳи аз мебошанд, пас ҳар ду пирамида байни ва ҳамвории ба он параллел аз қулла ҷойгиранд. Ҳамвории дилхоҳи ба параллел дар баландии ҳар пирамидаро бо бисёркунҷаи ба асос монанд мебурад, коэффитсиенти монандӣ барои ҳар ду як хел. Пас, масоҳатҳои буришҳо ва мебошанд; азбаски онҳо баробаранд. Принсипи Кавалиерӣ: ҳаҷмҳо баробаранд. ∎