Triangle congruence

use the basic congruence criteria for triangles (SSS, SAS, ASA, RHS)