SAS Congruence Using Transformations