所謂“醜陋”的證明，就是像現在這樣，把一個完整的問題，強行切割好幾個部分，然後用不同的、甚至互相沖突的工去分別理。東邊用代數幾何，西邊用機率論，中間再夾雜著計算機的暴力窮舉。
這就好比西猜想，也就是任何一張地圖只用西種就能區分所有相鄰區域。
數學家們想盡了辦法也無法用純邏輯證明它，最後只能把它轉化為兩千多種基本構型，然後給計算機，日夜不停地算了上千個小時，生生地把所有可能全窮舉了一遍。
雖然最後也解決了問題，但整個過程充滿了人工的斧鑿痕跡，就像是一件用膠水和釘子胡拼接起來的破爛傢俱，充滿了不和諧的割裂。它沒有揭示任何深刻的數學結構，只是用蠻力碾了問題。
當年這個證明一出來，整個數學界卻並沒有想象中的狂歡，反而陷了一種詭異的沉默。很多老派的純數學家甚至拒絕承認這是數學，他們憤怒地抨擊道：“這本不是數學證明，這只是一次暴的工程學測試！”
而真正“優雅”的證明，則是用一個簡潔而深刻的底層邏輯，一以貫之，從頭到尾，用一種無可辯駁的的方式，首接穿問題的本質。
這種證明，往往只有寥寥數頁，甚至幾行公式，卻蘊含著雷霆萬鈞的力量。
……
？嗎數理無是2√：子例的典經個一舉
。”案“學場一過發引經曾，臘希古的前年百五千兩在，題問個這
。海大了進扔他把接首人的派學斯拉哥達畢說據，時數分何任為示表法無2√出提斯索帕希生學的們他當。”達表來數分或數整用可皆萬“信堅派學斯拉哥達畢
？呢數理無是2√明證麼怎們我，麼那
：路思的樣這是會率機大，試嘗來人通普個一讓果如
”……點點一麼那差是就但，了近接越來越，693999.1=414.1×414.1；對不是還，1889.1=14.1×14.1；對不，69.1=4.1×4.1。唄看試試就我那“
？呢數小圈迴個一變然突會不它，候時的位億萬一第後點數小在道知麼怎你為因。數分個一”是不對絕“2√明證來，式方的”近“種這過法無也遠永他但……位千一、位百一後點數小到算，去下算首一會他後然
。本相真及法無遠永但，相真近限無以可它。陷缺命致的”法力暴“是就這
……
。明證的雅優其極個一了出給，們家學數的臘希古
。法證反——武輯邏的本基最個一要需只明證個這
：潔簡常非程過的它
。數理有是2√設假
。子因公有沒q和p中其，q/p數分簡最個一寫被以可它麼那
。2q2=2p是就也，2q/2p=2到得，方平邊兩，q/p=2√麼那
。數偶是2p的邊左明說這以所，數倍的2是邊右式等為因
。數偶是定一也本數整個這麼那，數偶是方平的數整個一而
。k2=p寫以可們我。數偶是p以所
。2k2=2q得簡化，2q2=2k4是就也，2q2=2)k2(：去回代
。數偶是也q以所，數偶是也2q明說這
！是但
。子因公有沒q和p，了說就始開一們我
！了盾矛提前的們我和這？除整2被能都，數偶是都然居q和p在現
！盾矛
。的誤錯是”數理有是2√“設假的初最，以所
。畢證。數理無是2√，此因
……
。算計要需不至甚，數代線要需不，分積微要需不，識知學數的深高何任要需不程過個整
。識常學小的本基最條一這”數偶是還數偶乘數偶“道知要需只你
。定確的駁辯可無、的恆永、的對絕——度高的及企法無遠永算計力暴個一了到達它，導推行幾麼這是就但
。數分的有所舉窮要需不也你，位億萬一後點數小證驗要需不你
。能可的有所了死殺，環閉輯邏個一
……
！雅優的致極是就這
。級量數個幾了低降接首度難把——條鏈輯邏的懂看能都人何任行幾坍間瞬，題難的雜複窮無似看個一將能它於在更，構結心核的題問了住抓是僅僅不，質本的雅優
