In addition, if TFNP contains any FNP-complete problem it follows that N P = co-NP {\displaystyle \mathbf {NP} ={\textbf {co-NP}}} .
Крім того, якщо TFNP містить будь-яку проблему FNP-повноти, то ( N P ) = co-NP {\displaystyle \mathbf {(} NP)={\textbf {co-NP}}} .