theorem RL5Th33: :: ZMODUL05:1

for V being free finite-rank Z_Module holds
( rank V = 0 iff (Omega). V = (0). V )