対偶をとり,「
が可約
が可約」であることを示す。
が既約でないとすれば,
となるような,
(ただし
)が存在する。このとき,
であり,
はいずれも次数 1 以上であるから
は可約である。
逆に,が可約ならば上の結果から,
は可約である。
3次の多項式が可約であるとし, であるとすれば, の いずれかの次数は 1 でなくてはならない。それを とすれば, はを根に持つ。したがって, がの中に根を持たないならば,は既約 である。
逆:「が既約ならば は の中に根を持たない」
(証明)もしが の中に根 をもてば は で割り切れるから, と表せる。今, の次数は 3 であるから, であり, は可約である。