Mhm. I think somewhere it must be hinted that the right side also undergoes that "treatment" of remainder-finding, in principle. This "so does 2" tries to do that.

The alternative would be to also have a number >= m on the right side - but this is not what we (almost always) want, as we are actually only going to divide In Z_m, aren't we?

After this meagre attempt to convince you to leave it in, it's up to you!

(I concur with the risks of "of course", in general. But here, I can't see any: If the reader does not get it that 2 divided by 7 leaves a remainder of 2, they must look somewhere else ...)