さて、まずやりたいことは、すでに述べたように、

k > r + 1に対して、

Z_k(E(p, q, r))
B_k(E(p, q, r))

を定義することだ。