Oxford Linear Algebra: Dimension Formula for Vector Spaces