Although any proposed solution can be easily verified, we have no reliable formula or shortcut for finding one, or determining that one exists.
Embora qualquer solução proposta possa ser facilmente verificada, não existe nenhuma fórmula ou atalho confiável, para se achar uma solução, ou determinar que existe uma.