Redirecting to Krull's principal ideal theorem