Although any proposed solution can be easily verified, we have no reliable formula or shortcut for finding one, or determining that one exists.
일단 해법이 제시되면  쉽게 증명할 수는 있지만 답을 얻을 수 있는 믿을 만한  공식이나 지름길도 없고 답이 있다고 확신할 수도 없죠.