Let have a basis and extend it to a basis for . Then, merely define by and extend by linearity.

Show then that and moreover that the only other way to construct a linear functional was to extend the basis for to a basis for by picking some other which then amounts to any other such linear functional looking like where . etc.

Now prove all of that