Tensor product, flatness