سلام. اگه درنظر بگیری a^mb^ma^mb^m=uvxyz که اندازه vy و vxy توی حوزه تعریفشون باشن، تمام حالاتی که برای vy پیش میاد به شکلهای زیره:
v,y هردم از یک حرف انتخاب بشن (v,y هردو از یکی از ۴ محدوده با تکرار m انتخاب شده باشن): طبیعتاً اگه i=2 درنظر بگیریم تعداد تکرار اون حرف بیشتر از m میشه و با طوف دومش برابر نیست. (چون بینشون یه حرف دیگه به تعداد m بار اومده نمیتونیم دو طرف a یا دوطرف b رو باهم اضافه کنیم.)
v,y از دو حرف مجاور انتخاب بشن(در حالت کلی uv=a^pb^q یا vy=b^pu^q): با انتخاب i=2 یا ترتیب رشته در یک سمت بهم میخوره (مثلاً v=abb) و یا حالتی مشابه حالت اولی برای حراقل یکی از حروف پیش میاد.