どうして多項式の因数分解は一意的なんですか?