theorem :: ZMODUL02:66

for V being Z_Module
for x being object holds
( x in (0). V iff x = 0. V )