The flow field where the rotational angular velocity is equal to zero is called a non-swirling flow field. Please use the Stokes formula to prove that the line integral of the velocity is independent of the integration path and there is a velocity potential function.