>>33
Z_iの次数じゃないの?
生成元がZ_iを含んでたらRに等しくないよね。