Let -Vect, , -linear. Prove that

**Solution**

Recall the general definition of the tensor product of linear maps, we have successively:

Thus, the two linear maps are equal when composed with the canonical bilinear map , hence equal (by the universal property).