[mturmon]

The induction in question here is of course on the dimension of the vector space, which is a natural number -- not the members of the vector space itself.

[trentmb]

Yes- it just kick-started my curiosity is all!