As it is known, circulation around any closed curve in the fluid is defined by the Integral
An important consequence of Kelvin’s theorem is that if an inviscid barotropic fluid is initially at rest, or if the circulation around any circuit in at a plane cutting in the upstream all the streamlines is zero, the subsequent motion downstream from this plane must be irrotational.
