theorem :: NEWTON06:81

for a being Integer
for b being non zero Integer holds (a |^ 2) mod b = ((b - a) |^ 2) mod b