The surface must be a material surface , moving with the fluid; its boundary moves with it as well. The stated barotropic vorticity transport law, with , gives . Expanding its curl therefore yieldsA material tangent vector obeys . Apply the product rule to the cross product of two such tangents to obtain material surface element evolution:Here . The stretching and area-change terms cancel exactly in the transported flux element:Integrate over the fixed particle labels parameterizing the material surface. This proves the conservation of vorticity flux through a material surface:The conserved flux is also the circulation by the Stokes theorem, so this agrees with Kelvin's circulation theorem. The assumptions are smooth inviscid barotropic flow and conservative body forces. A fixed open surface generally exchanges vorticity flux with its surroundings and does not satisfy this conservation statement; compressibility by itself does not invalidate the material-surface result.