n≥1とする
ℂ[X0, X1, ..., Xn]/(X0^2 + X1^2 + ... + Xn^2)はUFDか?