We can prove the side-angle-side (SAS) triangle congruence criterion using the rigid transformation definition of congruence.
License: CC BY-NC-SA by Khan Academy