基本的な概要は次のとおりです。
命題：の場合
証明：みましょう
次に、分割アルゴリズムによって、
#R = 0、1、2、# または#3# （残り）ケース1：Ｒ ０。残りが
#0# それから#n = 4k = 2（2k）# .
#： n# 偶数ですケース2：Ｒ １。残りが
#1# それから#n = 4k + 1# .
#： n# 変です。ケース3：Ｒ ２。残りが
#2# それから#n = 4k + 2 = 2（2k + 1）# .
#： n# 偶数です。ケース4：Ｒ ３。残りが
#3# それから#n = 4k + 3# .
#： n# 変です。