Although any proposed solution can be easily verified, we have no reliable formula or shortcut for finding one, or determining that one exists.
Anche se ogni soluzione proposta può essere facilmente verificata, non conosciamo nessuna formula o scorciatoia per trovarne uno, o determinarne l'esistenza.