Giả sử đường thẳng EF cắt đường thẳng A’B’ tại I và cắt đường thẳng A’D’ tại J. AI cắt BB’ tại L, AJ cắt DD’ tại M. Gọi V0 là thể tích khối tứ diện AA’IJ. V là thể tích khối hộp ABCD.A’B’C’D’

Vì EB’ = EC’ và B’I // C’F

nên IB′ = FC′ = 

Do đó 

Để ý rằng BE’ // A’J , B’L // AA’

Ta có

Từ đó suy ra:

Do đó 

Tương tự 

Gọi AB = a, BC = b , đường cao hạ từ A xuống (A’B’C’D’) là h thì

V = VABCD.A'B'C'D' = hab.sin∠BAD

Vậy