Showing that if a vector field is the gradient of a scalar field, then its line integral is path independent