Definition: This theorem states that, for a polynomial equation with rational coefficients, the
only possible rational solutions are numbers of the form a/b, where a is any factor of the
polynomial's leading coefficient, and b is any factor of the polynomial's constant term.
Example: The only possible rational solutions to the equation 2x4 - 5x3 + 6x2 +5x - 3 = 0
are 11, +[[1/2], 13, and #[[3/2].