Proof: If is concave, then where is an arbitrary element of the subgradient of ..