>>47
何度同じことを書けばいいんだか
pk、qkを設定する→a,bを決定する→それに対応する、p,c,n(複数でも可)が定まれば→yが定まる

>>48
bがpr^qrによって割り切られる条件は式⑩であり、それ以外には依存しないという結果になります。
つまり、途中で出てくるpには異存しないから、他のkに対しても同様に式⑩が成立しなければ
ならないということになります。当然、kによりpの値は複数定まります。それが、素数であろうと
なかろうとということです。