詳しくいえば、数列 "f"("n")を考えたとき、無限回の符号変化に関する有効な結果とは、「すべての "n" に対して、"f"("n")と "f"("m")が異なる符号となる値 "m" (&gt; "n")が特定の計算資源下で計算できる」ということを含む定理となる。