theorem :: ZMODUL05:26

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