theorem Th33: :: METRIC_2:33

for M being PseudoMetricSpace
for V, Q being Element of M -neighbour ex v being Real st V,Q is_dst v