>>465
n=1, 2はUFDでない(X0が既約元だが、(X0)で割った剰余環が整域に)
n≥3ならUFD
だと思う