終結式の定義とその性質（判別式との関係，シルベスター行列との関係）について解説します。