SBFSeri R is linear by Th33;
hence ( SBFSeri R is additive & SBFSeri R is multiplicative & SBFSeri R is unity-preserving ) ; :: thesis: verum