Introduce direct sums/complements, prove they exist, prove the sum/intersection formula for subspaces