Oxford Linear Algebra: Direct Sum of Vector Spaces