速度势函数在单连通区域内是单值函数。

单连通区域环量为零（$K7-08$）。