In Complexity Theory and Cryptology: An Introduction to Cryptocomplexity By Jörg Rothe Proposition 6.35b gives $ $ coNP\subseteq SPP$ $ but has no proof. How to show this?Read more