prove there exists a unique polynomial $p\in P_{m}(\mathbb{F})$ such that $p(z_j) = w_j$ Suppose $m$ is a nonnegative integer, $z_1,\cdots, z_{m+1}$ are distinct elements of $\mathbb{F}$, and $w_1, \cdots, w_{m+1} \in \mathbb{F}$. Prove there exists a unique polynomial $p\in P_{m}(\mathbb{F})$ such that $p(z_j) = w_j$ for $j = 1, \cdots, m+1$.
When I attempted this I really had no idea where to start, then I saw a proof online that did this:  
Define $T: P_{m}(\mathbb{F}) \rightarrow \mathbb{F^{m+1}}$ by: $$Tp = (p(z_{1}),\cdots,p(z_{m+1}))$$
From here we have to show that the map is linear and bijective. I have no issue with that portion. My question is the IDEA of coming up with a linear map to prove this problem. Where did the motivation to attempt something like that come from? It has me perplexed.
Note: I know there are other forms of proving this, but I am focusing on the linear algebra form.

The question is about to find a certain polynomial of degree $\le m$, and these form a vector space. 
The standard basis of $P_m(\Bbb F) $ is $1,x, x^2,\dots, x^m$, which makes coordinates from the coefficients. 
The determinant of (the matrix written in the standard basis of) the given transformation is called Vandermonde determinant and it's nonzero if $z_i$'s are different:
$$\left\vert\matrix{1&1&\dots&1\\z_1&z_2&&z_{m+1}\\
z_1^2&z_2^2&&z_{m+1}^2\\
&\vdots&\vdots&\\
z_1^m&z_2^m&\dots&z_{m+1}^m} \right\vert$$
