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

Download the figure