let R be non degenerated comRing; :: thesis: SBFSeri R is one-to-one
(BSFSeri R) " is one-to-one ;
hence SBFSeri R is one-to-one by Th32; :: thesis: verum