How are rigid transformations used to justify the SAS congruence theorem?
(Need it right now fr fr)