Eine solche Umformung ist nicht möglich, aber auch nicht nötig;
denn du musst ja nur zeigen, dass \(xy-x'y'\) durch 13 teilbar ist:
\(x-x'=13a,\; y-y'=13b\Rightarrow x'=x-13a,\; y'=y-13b\Rightarrow\)
\(x'y'=(x-13a)(y-13b)=xy-13(ay +bx-13ab)\),
q.e.d.