theorem Th51:
  for f,g being Function holds
  f tolerates g iff f \/ g is Function by Th1,Th2;
