>>744
少なくとも一つのkで
2m+1≡0 (mod Nk)
が成立すれば証明が成立するかもしれない