Congruent supplements proof example