>>86
(I)
Z_k(E(p, q, r))/B_k(E(p, q, r)) 〜 E(p, q, k)
k = r+1, r+2, ...
を示す。

n = k - (r+1)に関する帰納法で示す。
任意のrに対して、n = 0（k = r+1）のときは定義(c)より従う。

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

Z_k(E(p, q, r)) → Z_k(E(p, q, r))/B_k(E(p, q, r))〜E(p, q, r+1)

による、Z_k(E(p, q, r+1)), B_k(E(p, q, r+1))の引き戻し。帰納法の仮定より

E(p, q, r) 〜 Z_k(E(p, q, r+1))/B_k(E(p, q, r+1))
〜 Z_k(E(p, q, r))/B_k(E(p, q, r))。□