テンソル積が体 "f" 上でとられているならば-⊗-が両方の位置で完全であり、生成集合が "m" と "n" の基底であるとき、formula_12は確かに "m"⊗"f" "n" の基底をなすということは正しい。