Let f be a mapping which
associates with each compact convex set in En a point of En. If f is linear (in terms
of the vector addition of convex sets), uniformly continuous and commutes with a
substantial enough set of congruences of En, then f(K) is the Steiner point of K for
all compact convex sets K.