Ta có:

`(IJK)⊂(I;d)`

`{(I∈(IJK)),(I∈SA⊂(SAB)):}`

`=>I=(IJK)∩(SAB)`

`{(J∈AB⊂(SAB)),(J∈(IJK)):}`

`=>J=(IJK)∩(SAB)`

`=>IJ=(IJK)∩(SAB)`

Hay `(I;d)∩(SAB)=IJ`

`-------`

`{(K∈(IJK)),(K∈BC⊂(SBC)):}`

`=>K=(IJK)∩(SAC)`

Trong `(SAB)` gọi `E=SB∩IK`

`{(E∈SB⊂(SBC)),(E∈IK⊂(IJK)):}`

`=>E=(IJK)∩(SAB)`

`=>EK=(IJK)∩(SBC)`

Hay `(I;d)∩(SBC)=EK`

`--------`

Trong `(ABC)` gọi `D=AC∩JK`

`{(J∈(IJK)),(J∈AB⊂(SAC)):}`

`=>J=(IJK)∩(SAC)`

`{(D∈AC⊂(SAC)),(D∈JK⊂(IJK)):}`

`=>D=(IJK)∩(SAC)`

`=>JD=(IJK)∩(SAC)`

Hay `(I;d)∩(SAC)=JD`