Theorem.MIP NEXP References [AB09]Sanjeev Arora and Boaz Barak,Complexity theory:A modern approach, Cambridge University Press,2009. [Gol08]Oded Goldreich,Complexity theory:A conceptual approach,Cambridge University Press,2008. [Sip12]Michael Sipser,Introduction to the Theory of Computation,3 edition,Course Technology,2012.Theorem. 𝐌𝐈𝐏 = 𝐍𝐄𝐗𝐏. References [AB09] Sanjeev Arora and Boaz Barak, Complexity theory: A modern approach, Cambridge University Press, 2009. [Gol08] Oded Goldreich, Complexity theory: A conceptual approach, Cambridge University Press, 2008. [Sip12] Michael Sipser, Introduction to the Theory of Computation, 3 edition, Course Technology, 2012