Theorem Collinear.coplanar

Modification history