SAS Congruence & Rigid Motions