Tensor product
在向量丛的张量积下 "K"("X") 成为一个交换环。