Text this: Jung's theorem for a pair of Minkowski spaces.