Bewijs
Er zijn veeltermen
a
(
X
) en
b
(
X
) met
a
(
X
)
f
(
X
) +
b
(
X
)g(
X
)=1. Vermenigvuldig deze relatie met
h
(
X
):
a
(
X
)
f
(
X
)
h
(
X
)+
b
(
X
)g(
X
)
h
(
X
)=
h
(
X
). Omdat
f
(
X
) |
a
(
X
)
f
(
X
)
h
(
X
) en
f
(
X
) |
b
(
X
)g(
X
)
h
(
X
) volgt nu
f
(
X
) |
h
(
X
).