\overrightarrow{a} \in S_c \implies
\nabla_{\overrightarrow{a}}f \perp S_c