Triangle ABC is rotated 45° about point X, resulting in triangle EFD.

Triangle Congruence: ASA and AAS

Triangle Classification Theorems

Triangle Congruence: SAS