Si deux plans
(P1) et
(P1) sont parallèles, alors tout plan sécant à l'un est sécant à l'autre et les droites d'intersection
(d1) et
(d2) sont parallèles.
Le plan
(ACI) est donc coupé par les deux faces parallèles
(ABCD) et
(EFGH) respectivement suivant les droites
(AC) et
(IJ).
Il en résulte donc que les droites
(AC) et
(IJ) sont donc parallèles.