S . m,m' = S . [m,m'] ;
hence S . m,m' is Morphism of ; :: thesis: verum