6.4 General Strategy for Factoring Polynomials