theorem Th25: :: VALUED_2:25

for g, h being complex-valued Function holds - (g (#) h) = (- g) (#) h