Let > be any monomial order. Show that 0 for all n 0. Hint: Proof by contradiction.

Let α > be any monomial order.

Show that α ≥ 0 for all α ∈ ℤ ⁿ _≥0. Hint: Proof by contradiction.