prove that they are congruent.