Cho tứ diện OABC có OA, OB, OC đôi một vuông góc với nhau. Gọi H là hình chiếu của O trên mặt phẳng (ABC). Xét các mệnh đề sau : I. Vì OC⊥OA,OC⊥OB nên OC⊥OAB II. Do AB⊂OAB nên AB⊥OC.      1 III. Có OH⊥ABC và AB⊂ABC nên AB⊥OH.       2 IV. Từ (1) và (2) AB⊥OCH.