证明开区间上的凸函数在内部连续。