展开 因式分解的唯一性证明