>>55
係数Tiが(2m+1)の整数倍じゃなくてもいいってことになったら、結局Jの右辺のwも整数じゃないことになるから、証明が成り立たなくなると心配します。