定理的一般形式如下: 設 Φ {\displaystyle \Phi } 為抽象(布盧姆)複雜度衡量。對任意滿足 g ( x ) ≥ x {\displaystyle g(x)\geq x} (對所有 x {\displaystyle x} )的全可計算函數 g {\displaystyle g} ,都存在嚴格單調的全可計算函數
其定义是:对自然数 x {\displaystyle x} 和一个与其互素的自然数a,如果 x {\displaystyle x} 整除 ax-1 - 1,则称 x {\displaystyle x} 是一个以a为底的费马伪素数或者关于a的费马伪素数。最小的费马伪素数是341(=11×31,关于2)。如果 x {\displaystyle