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