在边界上给定切向速度分量时，单连通区域无旋运动的解是唯一的。