无旋场沿任意封闭回线的环量恒为零。

无旋 ⇒ 环量为零，这是等价性的推论（$K1-29$）。