for K being Field
for V being non trivial VectSp of K
for f being V8() 0-preserving Functional of V ex v being Vector of V st
( v <> 0. V & f . v <> 0. K )