"Now, this set is a bounded closed ball in a finite dimensional vector space." . . . .