theorem :: ZMODUL06:36

for V being Z_Module holds rank ((0). V) = 0