Congruent Figures and Theorems