标签: 因式分解及其应用