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