Rockafellar的一个择一定理的简证

本文为Rockafcllar的一个含有凸函数不等式和线性不等式的择一定理给出了简证，所用的工具只是凸集弱分离定理。