Example TIVS Two isomorphic vector spaces

The vector space of polynomials with degree 8 or less, $P_8$, has dimension 9 (Theorem DP). By Theorem CFDVS, $P_8$ is isomorphic to $\complex{9}$.