Ausklammern, Substitution, Polynomdivision