+) Gọi $JK\cap CD=E$ do $IK\subset(IJK),CD\subset(ACD)$
$\Rightarrow E\in(IJK)\cap(ACD)$
và có $I\in(IJK)\cap(ACD)$
$\Rightarrow IE=(IJK)\cap(ACD)$
+) Gọi $IE\cap AD=F$ do $IE\subset(IJK),AD\subset(ABD)$
$\Rightarrow F\in(IJK)\cap(ABD)$
Và ta có $K\in(IJK)\cap(ABD)$
$\Rightarrow FK=(IJK)\cap(ABD)$