DI Geometry - Congruent Supplements/Compliments Theorems and a Proof