Complex vector space/Finite dimensional/Real Basis/Exercise