theorem Th19: :: POLYALGX:19

for n being Ordinal
for L being non degenerated comRing
for p being Series of n,L holds (1. L) * p = p