theorem Th33: :: POLYALGX:33

for R being non degenerated comRing holds SBFSeri R is RingHomomorphism