theorem Th108: :: CLVECT_1:108

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