Покажите, что

принадлежит coNP.