>>79
＞は「a,bはpに依存する」という宣言です。
これが正しいのかは分かりませんが、そうであるのであれば、それは違います。
前にも書きましたが
a(pk,qk)、b(pk,qk)でpには依存しません。

>>80
全然面白くありません