Является ли множество базисом Гребнера?

Используя лексикографическое упорядочивание с z>y>x определить, является ли множество F базисом Гребнера, порожденного им идеала? F={x^2-1, (x-1)y,(x-1)z}. Нужно решение и разъяснение