>>223 論文の最初の方で、
pは指数が奇数になるyの唯一の素因数であることが証明されてなかったっけ…?