>>783
というか、その論法を使えば、xが２のベキのときだけ成り立つのも証明できる。
xが奇数のときはk+j+1≡0 modxとなるようにk,jをとればよいし、
xが2のベキでない偶数のときはx=2^m×h(hは3以上の奇数)とおいて上手くいくk,jを見つければよい