因式定理是余式定理的推论之一。因式定理规定：如果多项式f(a)=0，那么多项式f(x)必定含有因式x-a。反过来，如果f(x)含有因式x-a，那么，f(a)=0。