A proof that the 3D gradient vector is perpendicular the the tangent plane of a level surface to f(x,y,z), some 4D function.