共通手法:多項式消去法を用いる