theorem
  for f being complex-valued Function holds -f = (-1)(#)f;
