Proving the Congruent Supplements Theorem