théorème du toit : si deux plans sécants contiennent deux droites parallèles, leur intersection est une droite parallèle aux deux premières

démonstration : position relative de la droite (DF) et du plan (ABC)

1. si (DF) et (ABC) parallèles alors (ABC) et (DEF) parallèles (contradiction)

2. si (DF) et (ABC) se coupent en I alors on construit un point J tels que (IJ) et (AB) parallèles
   (IJ) est parallèle à (AB) et (DF) et est incluse dans (ABC) et (DEF)