Polynomial Rational Root Theorem

The rational root theorem gives us a finite process for finding all rational roots of a polynomial with integer coefficients. We prove the correctness of the procedure and describe how to use it.