Which of the following is a congruence transformation ?