PP is contained in PSPACE.
PP は PSPACE に包含される。