theorem Th23: :: VFUNCT_1:23

for C being non empty set
for V being RealNormSpace
for f being PartFunc of C,V holds - f = (- 1) (#) f