IM2 Alg 1 Trad. 10.6 double factoring