First-Order Optimality Condition for Composite Convex Minimization