\nabla f(\overrightarrow{x}) \perp S_k