Category:Dimension of Proper Subspace