Finite Dimension of a Proper Subspace is less than Dimension of Parent Vector Space
# Statement
TODO - This only works for Vector Subspaces that are finite-dimensional. Univariate Polynomials on Real Numbers are Infinite-Dimensional form an easy counterexample.