:formula_3.第一部分的证明基于。该定理指出如果唯一SAT(Unique-SAT，或USAT)问题（亦即，仅在一个布尔表达式没有令其为真的赋值，和在有一个唯一的赋值之间做出判定，而对于有一个以上真赋值的布尔表达式可做任何输出）有一个多项式的随机化算法，则formula_6（参见：RP (复杂度)）。事实上，该定理给出了这样一个判定USAT问题的随机算法。虽然我们尚不知如何提高Unique-SAT问题的随机算法的准确性，但对于USAT问题的Parity（奇偶性）版本formula_7（亦即，将前