大雑把に言うと、この定理では、すべての擬軌道(各ステップ毎に丸め誤差を含む、数値的に計算された軌道と考えることが出来る)は(わずかに初期値が変動された)ある真の軌道に一様に近い所で留まることが示されている。