not the carrier of R \/ the carrier of S is empty ;
hence not sum_of (R,S) is empty by NECKLA_2:def 3; :: thesis: verum