前回の続きです。(定理 2 の証明続き) 十分性について (i) が全射であること とおき、自然な準同型 を考える。このとき である。 は単射だから、これより となり、、すなわち を得る。 (ii) であること 任意の に対して である。よって特に とおけば を得る…