Cho tứ diện ABCD có hai mặt phẳng (ABC) và (ABD) cùng vuông góc với (BCD). Gọi BE và DF là hai đường cao của tam giác BCD, DK là đường cao của tam giác ACD. Chứng minh (ABC)⊥(DFK)