for F being Field
for V being finite-dimensional VectSp of F st card ([#] V) = 1 holds
dim V = 0