theorem Th28: :: POLYALGX:28

for R being non degenerated comRing
for f, g being Series of 1,R holds (f *' g) * NBag1 = (f * NBag1) *' (g * NBag1)