Dimension formula/Linear subspaces and linear mapping/Exercise

Prove fact using fact.