Factoring difference of squares: leading coefficient ≠ 1