Proving congruence using SAS