Although any proposed solution can be easily verified, we have no reliable formula or shortcut for finding one, or determining that one exists.
Aunque cualquier solución propuesta puede ser verificada fácilmente, no tenemos ninguna fórmula fiable o atajo para encontrar uno, o determinar que existe.