b=p1^q1×……×pr^qrが定義であったはずのbがpr^qrに化けているので、その後の主張は全部誤っている
最後でyが1未満になると結論しているが、yがそれほど不当に小さな数になるのも、ここでp1^q1×……×の部分にあるたくさんの素因数を掛け忘れていることが原因