(So any language in BPP is in IP, since then the verifier could simply ignore the prover and make the decision on its own.)
（所以在BPP内的语言一定在IP之内，因为我们可以让验证者直接忽略证明者然后自己对这问题作决定。