Category:Convex Real Function is Pointwise Supremum of Affine Functions