Roof theorem

Given two planes P and P’ containing respectively two parallel lines d et d’, then either they are parallel, either their intersection is parallel to the two lines.

roof.png
To manipulate the construction, download Cabri 3D plug-in

Download the figure