theorem :: POLYALGX:34

for R being non degenerated comRing holds
( SBFSeri R is RingIsomorphism & Formal-Series (1,R) is Formal-Series R -isomorphic )