theorem Th3: :: CLOPBAN3:3

for X being ComplexNormSpace
for x, y, z being Element of X holds ||.(x - y).|| = ||.((x - z) + (z - y)).||