材料围线
的环流
的定义为:

其中u为速度矢量,ds为沿着闭合围线的单元。
彻体力保守的非黏性流体的主宰方程为

其中D/Dt为实质导数,ρ为流体密度,p为密度,以及Φ为彻体力的势。上式为带彻体力的欧拉方程。
正压性条件意味着密度是压力的函数,且为其唯一自变量,即
。
取环流的实质导数,得:

把主宰方程代入第一项并使用斯托克斯定理,得:

最后的等式是源自
,它是正压性的结果。同时亦使用了任何函数
的梯度的旋度皆为零这一事实
。
已知材料线元的时间进化由下式给出(可由实质导数的定义求得)

因此

使用交换律后再使用
。而最后的等式则使用了斯托克斯定理。
由于第一项及第二项皆为零,得
