在给定无穷远处来流及环量的条件下，平面无旋绕流问题的解是唯一的。