Gradient 0 Implies Optimization Problem