Para provar que um problema é NP-completos, é preciso provar que um problema H é NP-completo. Logo, para mostrar que qualquer problema X é NP-difícil, é preciso reduzir H para X. Ao fazer essas provas, não se pode inverter essa redução! Se reduzirmos o problema candidato X para o problema conhecido e difícil H, estamos usando H para resolver X. Mas, quando reduzimos H para X, estamos usando X para resolver H. Logo os dois são difíceis.