Chia lăng trụ đã cho thành ba tứ diện: ABCC’, ABB’C’ và AA’B’C’. Phép đối xứng qua mặt phẳng (ABC’) biến tứ diện ABCC’ thành tứ diện ABB’C’. Phép đối xứng qua mặt phẳng (AB’C’) biến tứ diện ABB’C’ thành tứ diện AA’B’C’.

Suy ra ba tứ diện đó bằng nhau