theorem Th30: :: POLYALGX:30

for R being non degenerated comRing holds (BSFSeri R) . (1. (Formal-Series (1,R))) = 1. (Formal-Series R)