DI Geometry - Definition of Theorem and Using Properties of Congruence in Proofs