theorem Th44:
   for f be Series of 1,R holds card (Support f) = card Support(f*NBag1)
   proof
     let f be Series of 1,R;
     card(Support f) = card(BagN1.:(Support f)) by Th43
     .= card(Support(f*NBag1)) by Th42;
     hence thesis;
   end;
