theorem
  H.1 = 2 implies H is negative by Th23;
