theorem Th10: :: CFUNCT_1:10

for C being non empty set
for f being PartFunc of C,COMPLEX holds
( |.f.| " {0} = f " {0} & (- f) " {0} = f " {0} )