Let X and Y be nonempty sets and let h:X x Y -> R have a bounded range in R. Let f:X -> R and g:X->R be defined by f(x):=sup{h(x,y) : y in Y}, g(y) := inf{h(x,y) : x in X}. Prov