Test8. Eliminating ordering: Groebner basis.

