Although any proposed solution can be easily verified, we have no reliable formula or shortcut for finding one, or determining that one exists.
Хотя любое предложенное решение может быть легко проверено, у нас нет достоверной формулы или быстрого способа её нахождения и способа установить, что она существует.