分解因式法的理论依据是什么?