theorem Th103: :: CLVECT_1:103

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