factor theorem - algebraic division