Un teorema demostrando que dos clases de complejidad son distintas. Separación más teoremas han sido probados por Diagonalización.