³From this ordering on indeterinates one induces a order on polynomials which is different than we used before. There we used a graded order here we use a strict lexicographic order.