Applying Transformation to Prove Congruence