，则后者亦必返回到原始区域内，造成矛盾。 所以，起始区域中永不返回的部分体积只能为零，即与起始区域相比是极小。注意定理（并其证明）并不保证复现的若干性质：
形式敍述.设 为总测度有限的测度空间，并设 为保测函数，即其可测，且对任意的可测子集 formula_3 有 formula_4以下为定理的两种敍述：
定理一.对任意可测子集 formula_5 formula_6 中满足：存在正整数 formula_7 ，使得对任意 formula_8