No immediate use of Theorem 4 can be made computationally since, with the exception of a few special cases (e.g. rectangular S and separable f) it is very hard to construct concave envelopes and convex hulls.