Доказать, что NP ≠ coNP, если P ≠ NP