::严谨敍述.对于任何一个由常微分方程式定义的动态系统，都有相应的流映射 "f"，而对每个固定的 "t"（可当成时间）, "f" 皆是由该系统的相空间射去相空间本身的映射。若相空间中，每个可以计算体积（称为相体积）的子集，都在流中保持体积，则称该系统保体积。例如，根据刘维尔定理，所有哈密顿系统皆保体积。有了上述的背景之后，可以将定理敍述如下：若流保体积，且其所有皆有界，则对于相空间中每个开集，都有轨道与之相交无穷多次。
证明讨论.定性理解，证明的关键在于两个前提：取相空间