The crazy vector space, $C$ of Example CVS, has dimension 2 by Example DC. By Theorem CFDVS, $C$ is isomorphic to $\complex{2}$. Hmmmm. Not really so crazy after all?