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 seja facilmente verificável, não temos uma fórmula ou atalho fiáveis para a encontrar, ou para determinar se ela existe.