因式分解的定义