Any polynomial-time probabilistic machine recognizes some language in PP.
任意の確率的機械は、何らかの PP に属する言語を認識する。