Tensor product
同様にしてテンソル積の結合性、すなわち自然同型