Lesson 7 – Monomial Orderings and the Division