26. coNP is a subset of IP | MIT OpenCourseWare | Podwise