CMIMC 2019 Power Problem 2.6

Prove that \text{NP} \subseteq \mathrm{IP}.

Note: You may not reference problem 2.8 in any way: this would be circular reasoning from the exposition after that problem.