theorem
  MultBy(a,b) is non halting;
