Sequences of transformations for proving congruence