@jdw that would be true for all of the specific monomial orderings I know of, but I'm not sure about the general case.