Đây là một phác thảo cơ bản:
Dự luật: Nếu
Bằng chứng: Để cho
Sau đó, bằng thuật toán chia,
# R = 0,1,2, # hoặc là#3# (phần còn lại).Trường hợp 1: R = 0. Nếu phần còn lại là
#0# , sau đó# n = 4k = 2 (2k) # .
#:. n # thậm chí làTrường hợp 2: R = 1. Nếu phần còn lại là
#1# , sau đó# n = 4k + 1 # .
#:. n # là số lẻ.Trường hợp 3: R = 2. Nếu phần còn lại là
#2# , sau đó# n = 4k + 2 = 2 (2k + 1) # .
#:. n # là chẵnTrường hợp 4: R = 3. Nếu phần còn lại là
#3# , sau đó# n = 4k + 3 # .
#:. n # là số lẻ.