Ta có Cz // By nên Cz // (Ax, By).

Do tứ giác ABCD là hình bình hành nên CD // AB do đó CD // (Ax, By).

Khi đó Cz // (Ax, By);

            CD // (Ax, By);

            Cz ⊂ (Cz, Dt), CD ⊂ (Cz, Dt) và Cz ∩ CD = C.

Do đó (Cz, Dt) // (Ax, By).