
theorem Th8:
  for M being PseudoMetricSpace, x,y being Element of M holds
  x-neighbour = y-neighbour iff x tolerates y by Th2,Th4,Th7;
