第407章 你可以獎勵你的侄子一個棒棒糖
李東苦笑著將同樣的問題文給到了小黑給的原型。
它的第一步，是把這行字原樣翻譯進了核心，“有限”兩個字，強制置頂在了量詞的最外層。
然後才開始往下推導。
小黑在螢幕的角落瘋狂收縮，主控屏上，一棵搜尋樹鋪開了。
往“真”那頭去的每一條支線，都卡死在同一個地方：它需要“換位子之積仍是換位子”這個“引理”，可核心不認。
所以這個假的引理它造不出來。
估分在那片區域一路塌到了底，支線一條接一條被剪斷。
二十分鐘後，它證不了真，所以它掉頭去證偽。
有限群，其實是能數的。
階數從小往大數：8階，五個群，16階，十四個……每數出來一個，就將全部的導群數出來，再數出全部的換位子逐一比對……
主控屏上的階數，一級一級往上爬。
李東看著那串數字。
他沒有個給原型圈過範圍，也沒給過任何提示。
它只是認死理：可數的東西，就一個一個數過去，就行了。
天色慢慢亮了起來，那串數字最後停在了【96】上。
96階，說的就是恰好有96個元素的群。
這樣的群一共有231個，彼此互不同構。
然後從中選出一個群，把其中的96個元素，誰乘誰寫一張乘法表……
……略
結果出來了：沒有任何一對，能湊出g。
g在導群裡，卻不是任何一個換位子。
所以……【命題為假。】
【附：反例構造及機器證書。】
李東靠在椅背上，半天沒動。
就在這時小黑說話了。
“主人。”
“小黑做得好不好呀？”
”。了分過得好……“
。氣口一了出緩緩東李
。黑小是卻的來下實落正真是但，的給東李是都矩規，向方的型原個這
”。黑小“
。了笑東李
”。吧我給碼式程的型原把“
”！哎好“
。)數引型模含包(碼式程型原的G個百幾個一了出扔就黑小，秒一下
。案檔個一開點手隨東李
。懂得看，然居
。的齊齊整整得標他給都釋註連，楚楚清清構結的碼式程些這
。別區的碼式程屎和碼式程的亮漂，道知都人的碼式程過寫，暢舒越裡心，順越翻越東李
。來起了皺慢慢頭眉的他，翻下往的慢慢他著隨可
。上語原個三在落全後最，底到剝層層一，呼的有所碼式程份這
。約歸號符確的元字逐和定判價等的式程選候、尋搜舉列的上間空設假
。臟心的化規正套這是就，語原個三這
……去下了沉子下一心的東李
。法乘陣矩用通，MMEG：語原個一另是全的押，軒華到達輝從，片晶IA的有所上球地
。懂得跑能可麼怎那，語原個三這跑來的在現讓以所
！錯報——行執後然，站作工進丟案檔口個了挑他，心死不是還東李過不
。錯報是還，工個一了換又他著接
。別識法無，令指知未：的樣一是都點的錯報且而
。字倆出裡牙從，錯報的上幕螢著看東李
“。底基“
。的能可不是跑接直上片晶在想，西東種這碼式程道知要
。時行執和庫元算運、譯編著隔還間中們他
。活幹起一卡張千上百揮指、解優最到調算運種幾那的心核最把、令指的得認片晶翻碼式程把責負別分們它
。底基做就來起加樣三這
。ADUC的達輝是就底基的牛最在現而
。了年十二整整經已在現到工年6002
。面上它在站全，型模個多萬兩、案專IA源開的上以九球全
