theorem
  (-1)*F = -F;
