theorem Th111: :: CLVECT_1:111

for CNS being ComplexNormSpace
for x, y, w being Point of CNS holds ||.(x - w).|| <= ||.(x - y).|| + ||.(y - w).||