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