Множество натуральных чисел можно установить взаимно однозначное соответствие с множеством чисел вида 4N+1(N принадлежит N) следующим образом:
1 -> 40 + 1 = 1
2 -> 40 + 1 = 1
3 -> 40 + 1 = 1
4 -> 41 + 1 = 5
5 -> 41 + 1 = 5
6 -> 41 + 1 = 5
7 -> 41 + 1 = 5
8 -> 42 + 1 = 9
9 -> 4*2 + 1 = 9
...
Таким образом, каждому натуральному числу соответствует число вида 4N+1(N принадлежит N) единственным образом, и наоборот.