By unique factorization, the ideal(f)is prime.

• 由唯一因子分解定理推出理想（f）是一个素理想。