Show that {xy, y² - y) is a Grobner basis for (xy, y² - y), as asserted after Example 28.9.

Data from Example 28.9.

By division, reduce the basis {xy², y² - y} for the ideal I = (xy², y² - y) in R[x, y] to one with smaller maximum term size, assuming the order lex with y < x.