theorem Th13: :: BORSUK_7:14

for n being Nat holds - (0* n) = 0* n