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