theorem
  f3(#)f1 - f3(#)f2 = f3(#)(f1 - f2) by Th14;
