Invariance Theorem

For a given Subspace $U$, all Basis will have the same size Allows for the Subspace Dimension function