Reply:>>639 それでは素因数分解の一意性はどうするか。