theorem Th26: :: POLYALGX:26

for R being Ring
for f, g being Series of 1,R holds (f + g) * NBag1 = (f * NBag1) + (g * NBag1)