Redirecting to Jung's theorem