[Previous] Two theorems of 3D space geometry  [Next]
 
 
 

The roof theorem : If two intersecting planes contain two parallel lines (one each), their intersection is a line that is parallel with the other two.

An incidence theorem : if two planes are parallel, any plane that intersects one intersects the other and the intersection lines are parallel.

 
 
[Previous]

GEOMETRIE--COQ

 [Next]