Jung's theorem