>>83
何がおかしいのでしょうか?a,bはpk,qkにのみ依存し、pには依存しない

>>84
yは式Dから得られたpにより、一意に決定されるというだけです