theorem
  for f,g being Function st f c= g holds f tolerates g by Th52;
