消去定理の定義:代数方程式によるパラメータの消去