Tu je osnovni opis:
Predlog: Če
Dokaz: Let
Nato, z algoritmom deljenja,
# R = 0,1,2, # ali#3# (ostanek).Primer 1: R = 0. Če je preostanek
#0# , potem# n = 4k = 2 (2k) # .
#:. n # je celoPrimer 2: R = 1. Če je preostanek
#1# , potem# n = 4k + 1 # .
#:. n # je čudno.Primer 3: R = 2. Če je preostanek
#2# , potem# n = 4k + 2 = 2 (2k + 1) # .
#:. n # je celo.Primer 4: R = 3. Če je preostanek
#3# , potem# n = 4k + 3 # .
#:. n # je čudno.