Although any proposed solution can be easily verified, we have no reliable formula or shortcut for finding one, or determining that one exists.
למרות שכל פיתרון מוצע יכול להיות מוודא בקלות, אין לנו נוסחה אמינה או קיצור דרך למצוא אחד, או לקבוע שאחד קיים.