Suppose x
Z + Zi, the ring of
Gaussian integers, is a solution of the equation
Then, by the cancellation law, the equation is equivalent to the one obtained by left multiplication with (2 - i) on both sides:
Applying the cancellation law once more, we find