CMIMC 2019 Power Problem 2.8

Prove Soundness and demonstrate that the probability of error is at most \frac{1}{9}.