theorem VS10Th28: :: ZMATRLIN:59

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