含奇点的话，都是周期轨道。动力系统定义在二维平面上的条件是必须的。在环面上，非周期的递归轨道是可能存在的。
叙述.在下文中，Ω表示 R 中的一个开集，"f" 是一个定义在 Ω 上的向量场，其值域在 R 中，并且连续可微。自治微分方程"(1)" 定义如下：formula_1设函数 "s"("t") 是一个定义在 R 的关于方程 "(1)" 的最大解。所谓的最大解，是指函数 "s" 定义在一个区间 "I" 上，并且没有任何其它定义在区间 "J" 上的函数 "r"，使得区间