There's little more. If $P$ is a projection and $w\in\operatorname{Im}P$, we want to have $P(w)=w$. This is equivalent to the assertion:$$(\forall v\in V):P\bigl(P(v)\bigr)=P(v).$$And this, in turn, is equivalent to $P^2=P$. $\phantom{}$
There's little more. If $P$ is a projection and $w\in\operatorname{Im}P$, we want to have $P(w)=w$. This is equivalent to the assertion:$$(\forall v\in V):P\bigl(P(v)\bigr)=P(v).$$And this, in turn, is equivalent to $P^2=P$. $\phantom{}$