Inilah garis besar dasar:
Dalil: Jika
Bukti: Biarkan
Kemudian, dengan algoritma pembagian,
# R = 0,1,2, # atau#3# (sisa).Kasus 1: R = 0. Jika sisanya
#0# , kemudian# n = 4k = 2 (2k) # .
#:. n # bahkanKasus 2: R = 1. Jika sisanya
#1# , kemudian# n = 4k + 1 # .
#:. n # aneh.Kasus 3: R = 2. Jika sisanya
#2# , kemudian# n = 4k + 2 = 2 (2k + 1) # .
#:. n # bahkan.Kasus 4: R = 3. Jika sisanya
#3# , kemudian# n = 4k + 3 # .
#:. n # aneh.