theorem Th21: :: POLYALGX:21

for n being Ordinal
for R being non degenerated comRing holds Polynom-Ring (n,R) is Subring of Formal-Series (n,R)