theorem
  M is Negative implies M is Nonpositive;
