>>255
整数について

(1)0はマイナス２進数で0と表記できる
(2)ある数kがマイナス２進数でn桁の数で表されているとする
　　k=k[n]k[n-1]k[n-2]…k[3]k[2]k[1]
(3)k+1ならびにk-1はマイナス２進数でn+2桁以下の数で表される
　　これはマイナス２進数で繰り上がりが1+1=110と0-1=11で
　　あることから導かれる
　　（めんどくさいから端折るけど、もちろんちゃんと確認すること）
(4)(1)(2)(3)より数学的帰納法により以下略