涡旋不生不灭定理的前一部分（无旋→永远无旋）直接由开尔文定理证明。