Talk:Krull's principal ideal theorem