Ich habe die Rechnung $x^2 \bmod 3$. Diese Rechnung kann nur 1 oder 0 ergeben. Das sieht man schnell, wenn man ein paar Werte einsetzt, aber wie kann man das wirklich beweisen.