>>477
3.1.では、aは2^uの倍数で、u=1であることを示している
→3.1.でaは偶数？と思ったのですが…

それとも、yの素因数で唯一、指数が奇数になっているものをpとおいた、ということですか？