>2m + 1 ≡ 0 (mod Nk)であるから

これなぜ?