Gurevich 将简化费马素性测试的概率算法重新表述为：确定性算法本身调用一个名为 `choose in` 的预言机来获取随机数。