theorem Th35: :: POLYALGX:35

for R being non degenerated comRing holds Polynom-Ring R is Subring of Formal-Series R