Polynomial Remainder Theorem Proof - Search