＞ m-1 と m+1が両方とも 2^○ の形になるのは、m=3のときに限られる
それをどのように保証しますか？