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