E を可換環 K 上の有限生成自由加群とする。
このとき>>223の T(E) と>>210, >>215で定義したテンソル代数 T(E) が
一致することは (E^*)^* = E と次の命題から分かる。