Prove that every non-zero element of a finite dimensional vector space over a field has a unique expression as a linear combination of a basis for the space.