# Range of a bilinear mapping spans codomain

$X, Y$ are vector spaces. A vector space $W$ and a map $A:X\times Y\rightarrow W$ satisfy the following:
for every bilinear map T from $X\times Y$ to a vector space $Z$, there exists a unique linear mapping $L:W\rightarrow Z$ such that $L\circ A=T$. (In fact this is the definition of tensor product)

Then how can I show the image of bilinear mapping $A$ spans $W$?

If not, let the span be $W'$. There is a linear map $\pi:W\to W$ which has image $W'$ and restricts to the identity on $W'$. Then $I\circ A$ and $\pi\circ A$ are equal, but $\pi\ne I$.