Hier ist eine grundlegende Übersicht:
Vorschlag: Ob
Beweis: Lassen
Dann durch den Teilungsalgorithmus
# R = 0,1,2, # oder#3# (Rest).Fall 1: R = 0. Wenn der Rest ist
#0# , dann# n = 4k = 2 (2k) # .
#:. n # ist geradeFall 2: R = 1. Wenn der Rest ist
#1# , dann# n = 4k + 1 # .
#:. n # ist ungerade.Fall 3: R = 2. Wenn der Rest ist
#2# , dann# n = 4k + 2 = 2 (2k + 1) # .
#:. n # ist geradeFall 4: R = 3. Wenn der Rest ist
#3# , dann# n = 4k + 3 # .
#:. n # ist ungerade.