グレブナ基底はなんの役に立つの?、元数学者