Проведемо AC (A∈ (ABC), C∈ (ABC), AC = (ACC₁) ∩ (ABC))

Проведемо A₁C₁ (A₁ ∈ (A₁B₁C₁), C₁ ∈ (A₁B₁C₁), A₁C₁ = (ACC₁) ∩ (A₁B₁C₁))

AA₁C₁C - чотирикутник, перетин куба площиною, що проходить через точки A₁C₁C₁