Merely note that since you have that is such that . Thus, it follows that and so in particular there exists some non-zero which by definition must satisfy for . But it is a common fact that for finite dimensional vector spaces every element of is of the form of some evaluation functional for some fixed . Thus, in particular there exists some non-zero such that for every and so in particular for .