Dual space/Orthogonal space/Dimension formula/Alternative proof/Exercise