theorem Th24: :: VFUNCT_2:24

for M being non empty set
for V being ComplexNormSpace
for f being PartFunc of M,V holds - (- f) = f