theorem :: ZMODUL01:102

for V being strict Z_Module holds ((Omega). V) + ((Omega). V) = V by Th101;