Proving the Congruent Complements Theorem