Soient deux plans strictement parallèles P et P' . Un troisième plan P" coupe le plan P suivant la droite D et le plan P' suivant la droite D'
supposons que les droites D et D' soient sécantes en M
le point M étant sur D appartient au plan P
le point M étant sur D' appartient au plan P'
le point M est commun aux plans P et P'
or cela est contradictoire avec l'hypothèse (P // P')
c'est donc que la supposition D et D' sont sécantes n'est pas acceptable.
C'est donc que D // D'
