theorem
  (-F).s = -F.s by VALUED_1:8;
