Redirecting to Krull's theorem