因式分解及唯一性定理