Example ASC A subspace characterized

In Example DSP4 we determined that a certain subspace $W$ of $P_4$ has dimension $4$. By Theorem CFDVS, $W$ is isomorphic to $\complex{4}$.