条件①：无论代数式A中的字母取什么值，A都不小于常数M；条件②：代数式A中的字母存在某个取值，使得A等于常数M；我们把同时满足上述两个条件的常数M叫做代数式A的下确界．
例如： ，
，
（满足条件①）
当1时， （满足条件② ）
∴4是 的下确界．
请根据上述材料，解答下列问题：
下面是某同学对多项式进行因式分解的过程．
解：令
原式 第一步
第二步
第三步
第四步
回答下列问题：
A．提取公因式 B．公式法