7.1.2 Triangle congruency