theorem Th23: :: VFUNCT_2:23

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