Base (F,n) is Subset of (F ^* n) ;
hence F ^* n is finite-dimensional by MATRLIN:def 1; :: thesis: verum