theorem :: RANKNULL:6

for F being Field
for V being VectSp of F st card ([#] V) = 2 holds
dim V = 1