Theorem 2 Converse of I Euclidean Geometry