theorem Th28: :: VECTSP10:28

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