SAS congruence rule can be proved by superimposing both the triangles on each other.