Therefore, the existence of algorithm A proves the nonexistence of the family of circuits and the separation of these two complexity classes.
Таким образом, существование алгоритма A доказывает невозможность существования семейства схем и разделение этих двух классов сложности.