Factorising Polynomials when given a Factor