5Recall that the prover treats any σ ⁄
{1, 2} as if it were 1, so this transformation from σ′ to σ would not affect P ’s
behavior.
5Recall that the prover treats any σ ⁄{1, 2} as if it were 1, so this transformation from σ′ to σ would not affect P ’s
behavior.