xét mp(ABC) có M, N. P thuộc mp(ABC)
+) nối M với N cắt AP tại I
suy ra I thuộc MN
và I thuộc AP hay I thuộc mp(APD)
suy ra MN giao với mp(APD) tại I
+) vì BC thuộc mp(ABC)
suy ra kéo dài MN cắt đoạn kéo dài của BC tại E
suy ra E thuộc BC
và E thuộc MN hay E thuộc mp(DMN)
suy ra BC giao với mp(DMN) tại E