theorem Th24: :: VFUNCT_1:24

for C being non empty set
for V being non empty right_complementable add-associative right_zeroed addLoopStr
for f being PartFunc of C,V holds - (- f) = f