theorem Th18:
  f+g is Real-Valued-Random-Variable of Sigma by MESFUNC6:26;
