https://www.dict.cc/englisch-deutsch/Krull%27s+principal+ideal+theorem.html