美國，劍橋市，阿雷斯頓社區。
這個社區離麻省理工跟哈佛大學都很近，環境安靜，學校不錯，還自帶公園。
不過張馨文選擇住在這裡，更看重的是跟劍橋或者波士頓的其他中產居住區域比起來，這裡的位置房價要更低一些，居住品質也不算差，算是性價比拉滿。而且社區里很多都是麻省理工跟哈佛的教職工，住著也放心。
沒辦法，在美國大學教授這個職業雖然有一定的社會地位，但並不算高收入群體，尤其是還不太出名的時候。眾所周知這片國土是真的把物以類聚，人以群分玩到了極致。
中產跟貧民社區混雜在一堆，知識跟罪惡往往只有一街之隔。甚至大家都已經對這些習以為常。
在這裡任何城市，哪怕是華盛頓這樣的首府又或者紐約這樣的世界金融中心，某些區域同樣會有更高的犯罪率跟社會問題。相對來說擁有麻省跟哈佛的劍橋市已經非常保險 了。尤其是夜晚，社區非常安靜，甚至是靜謐。
中產社區基本上晚上沒有出行的慣例 。街頭也沒有汽車的噪聲，更沒有來歷不明的人在街區莫名的狂歡。如果哪家人肆無忌憚的發出噪音，大概率會喜提911上門拜訪的套餐。這樣的凌晨時分，手機鈴聲往往會特別刺耳。
張馨文就是被這刺耳的鈴聲吵醒，剛睜開眼，便聽到身邊女人的埋怨 。
「誰啊？這個時候還打電話？說了多少次了，晚上睡覺就把手機靜音打開。」說完，身邊的女人已經打開燈，氣咻咻的爬了起來，抱著被子直接走出了房間。張馨文只覺得一陣頭疼。
人到中年，夫妻矛盾似乎一下也多了起來，數學教授也未能免俗。
睡覺之前剛吵了一架，好不容易才哄著睡了，一通電話又要讓矛盾升級了。無奈的搖了搖頭，拿起手機，看到號碼，就很憤怒 。
如果是劍橋這邊同事的號碼也就算了，起碼證明了人家還在熬夜。但這是華夏的號碼。
不知道尊重一下時差嗎？劍橋EDT可是要比CST慢12個小時！現在劍橋已經是凌晨十二點五十，李立行是瘋了吧？
帶著怨氣接通了電話，不過他還沒來得及說話，對面就搶著說了句：「張教授，快去看郵箱，喬喻證出來了！」腦子有點懵，張馨文下意識的問了句：「喬喻？他證出什麼了？」
「不是？還能是什麼？當然是我們現在遇到的問題！不說了，我還要通知羅納德！」「嘟嘟嘟..」
手機聽筒里的忙音，讓張馨文愣了半晌。
不是…….....
就掛了？
他好像還打算罵兩句這個擾人清夢，還破壞夫妻感情的傢伙，他怎麼就掛了？
等等……
喬喻把那個問題證明出來了？
大腦終於被完全激活，張馨文整個人突然一激靈，然後隨便找了件衣服披上，快步來到他的小書房，打開了筆記本電腦。飛快的登陸了郵箱。果然有一封李立行從華清發來的郵件，附件就一張很小的圖片。
張馨文疑惑的點開，極限簡潔的證明過程便強勢鑽進了他的腦海里。
仔細的看完之後，張馨文感覺有些很不真實。困擾了他們大半年的問題，那個喬喻解決起來只用了六行？
在心底感慨了不到兩秒，張馨文就拿起了筆，然後從桌上順手抽出一疊紙開始做起了推導。
比如第五行不變性的證明。
證明者在這裡確保了全局函數在變換群作用下的平均值是一個特徵層。
這一點非常要緊 ，因為它證明了所構建的特徵層W實際上捕捉到了全局函數的主要特徵，而不是隨群的變化而變化 。證明的邏輯在於，通過變換群的平均作用，可以保證得到的結果仍然屬於特徵層。
但喬喻的表達是：利用範疇化收縮原理，即可證明：vgEG，g—Φ（f）=Φ（f）。因此，中（f）是一個不變的函數，且可以被視為惠特克層的一個自同態。這明顯太過簡潔了。
利用範疇化收縮原理，這句話說起來容易 ，證明起來可是個麻煩事。首先需要定義平均值： Ф（f）=1/1G1gEGΣg—f，然後驗證不變性： g—Ф（f）=g： （1/1GigEGΣg—f） ..時間就在張馨文奮筆疾書中過去，不知不覺中用於演算的稿紙已經寫了整整三面，然後得出了跟喬喻的證明過程一樣的答案。