Although any proposed solution can be easily verified, we have no reliable formula or shortcut for finding one, or determining that one exists.
هرچند صحت هر راه پیشنهادی را  می‌توان به سادگی بررسی کرد، هیچ فرمول معتبر و میانبری برای پیدا کردن جواب، و حتی اطمینان از وجود آن وجود ندارد.