theorem VS10Th28: :: ZMATRLIN:59

for V being non trivial free Z_Module
for f being V8() 0-preserving Functional of V ex v being Vector of V st
( v <> 0. V & f . v <> 0. INT.Ring )