Theorem 4.6.1. The Gradient is Normal to Level Curves.
At any point \((x_0,y_0)\) where \(F(x,y)\) is differentiable and its gradient \(\del F(x_0,y_0)\) is non-zero, this gradient vector is normal to the level curve of \(F\) through that point, in that it is normal to the line tangent to the level curve at that point.
