[Cor 5.9][Boothby] 设 $N$ 和 $M$ 分别是 $n$ 维和 $m$ 维 $C^\infty$ 流形, $F:\ N\rightarrow M$ 是 $C^\infty$ 映射. $a\in M$, 如果在 $A=F^{-1}(a)$ 中每一点处, $F$ 的秩都等于 $m$, 则 $A$ 是 $N$ 的一个闭的正则子流形.
[Cor 5.9]([Boothby]) 设 $N$ 和 $M$ 分别是 $n$ 维和 $m$ 维 $C^\infty$ 流形, $F:\ N\rightarrow M$ 是 $C^\infty$ 映射. $a\in M$, 如果在 $A=F^{-1}(a)$ 中每一点处, $F$ 的秩都等于 $m$, 则 $A$ 是 $N$ 的一个闭的正则子流形.
[Boothby] An Introduction to Differentiable Manifolds and Riemannian Geometry.