theorem Th79: :: CFUNCT_1:80

for Y being set
for C being non empty set
for f being PartFunc of C,COMPLEX st f | Y is constant holds
( |.f.| | Y is constant & (- f) | Y is constant )