>>87
f(x+y) = (x + y) + mZ + (b + b') + nZ
と考えるとどうなります?