, 0 . 0 , (x... x, , , 0, 1, 1... 1 - 1 0 ):
x...x01...101...1 - that n
1 , :
x...x01...110...0 - that (n+1)
, 0 1
n|(n+1) :
x...x01...111...1 - that n|(n+1)
1 n|(n+1), :
x...x100........0 - that (n|(n+1))+1
, 0 1
~(n|(n+1))
y...y10.........0 - that ~(n|(n+1))
y x
~(n|(n+1)) & ((n|(n+1))+1)
0...010.........0
1 0 .