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