First-Order Optimality Condition for Constrained Convex Minimization