if the leading power product of g divides the leading power of h then G`= G\{h} is also a Groebner basis w. r. t. < of I.
wie kann ich des beweisen ?? kann mir jemand bitte ein paar Tipps geben ??
Danke schon im Voraus
