Tensor product/Direct sum/Fact

Let be a field, and let denote -vector spaces.

Then we have