Suppose that [math] and [math] are nonzero subspaces, with [math] contained inside [math], and suppose that [math].
(a) What are the possible dimensions of [math]?
(b) If [math] then what are the possible dimensions of [math]?