>>442
1頁目2.1に
「q_kが奇数となる項の正整数(※ここで「を」を入れましょう)uとすると…
②から、aは素因数２をu個以上持つことになり偶数となる」
とありますが、②から（とq_kが奇数であるという仮定）直接導けるのは
「（q_k+1が偶数になることから）Nが素因数２をu個以上持つこと」ではありませんか？