Subgradient Optimality Condition