Congruent Supplementary Angles Theorem