有界区域唯一性定理的证明利用了无旋运动动能最小性。