theorem Th34: :: METRIC_2:34

for M being PseudoMetricSpace
for V, Q being Element of M -neighbour holds
( (nbourdist M) . (V,Q) = 0 iff V = Q )