W tym zadaniu musimy uzasadnić, że jeżeli liczba całkowita nie dzieli się przez , to jej kwadrat przy dzieleniu przez  daje resztę 1.

Podajmy założenia z polecenia:

Jeśli liczba całkowita nie dzieli