theorem Th36: :: METRIC_2:36

for M being PseudoMetricSpace
for V, Q, W being Element of M -neighbour holds (nbourdist M) . (V,W) <= ((nbourdist M) . (V,Q)) + ((nbourdist M) . (Q,W))