>>198以降 T(r, s)(E) に関して述べたことは K が可換環で E が K 上の
有限生成自由加群としてもそのまま成り立つ。
もっと一般に E を可換環 K 上の有限生成射影加群としてもそのまま成り立つ。