而這第一步，也不是那麼容易的。
需要補全強對偶定理的適用邊界，夯實形式證明空間幾何的公理基礎。
需要進行全域推廣，覆蓋複雜場景，確定適配方案，消除盲區，搭建體系，定義概念，明確規則，構建框架等等。
做完這些，還有第二步不變數與分類體系攻堅，第三步機械化形式證明框架攻堅，第西步疑難幾何命題專項形式化攻堅，第五步自洽性與獨立性底層攻堅等等。
每一步都不是那麼容易的。
好在這個公理是葉清河自己證出來的，別人做這個事情可能很難，但對他來說駕輕就熟。
“本次推演基於己證的光滑緊緻拓撲空間下，邏輯－幾何強對偶定理，核心前提為：設P為一階相容形式證明系統，M為有限維光滑緊緻無邊拓撲流形（對應抽象幾何空間），存在對偶同構對映∮：P→M，滿足保邏輯推演－保幾何拓撲雙等價性，即形式證明的句法推演等價於幾何空間的連續對映，證明的相容性等價於幾何空間的單連通無奇點性。
.....”
“假設幾何空間M?為帶奇異度量的黎曼流形，即存在點P∈M?，使得度量張量的協變導致....
.....”
葉清河在草稿紙上，一步一步推演著非光滑空間（度量張量奇異）、帶邊界空間（流形邊界非空）、非緊緻空間這些問題。
當一個人專注時，就會忘記了時間，就算這裡還有周婉兒，但是葉清河己經感受不到了，就算周婉兒中途起來，到他身邊給他把水杯裡的水續滿，他也沒有察覺到。
“清河，該休息會了，到中午吃飯時間了！”
看看時間己經到了中午一點，葉清河還是沒有一點休息的意思，周婉兒只能來到葉清河身邊拍拍他，打斷了他的推演。
此時桌面上的草稿紙己經堆了厚厚的一疊，每個上面都寫滿了周婉兒看不懂的內容與公式。
“哦？好！”
葉清河抬頭的時候，眼裡還有點懵，反應過來後，點點頭，活動了活動因長時間書寫而發酸發脹的右手手指。
意識空間之中，不管他寫多久都不會有肉體上的疲勞，現實就不行了，推演的時間久了，不僅是手指，脖子還有手臂這些他有知覺的身體都會有痠疼感。
“我先給你按一按吧，以後不能讓你這麼長時間的工作了，你身體什麼情況你不知道啊？要是這麼下去，什麼時候能完全恢復？”
周婉兒語氣裡滿是抱怨。
雖然知道葉清河是在做正事，但是她更在意的是葉清河的身體。
說著話，也不管葉清河的反應，推著葉清河就到了旁邊的休息室。
二樓書房邊上也是有著衛生間以及休息室的，只是沒有樓上的大。
把葉清河從輪椅上抱到床上，周婉兒開始細緻認真地給葉清河按了起來。
“婉兒，謝謝你，真不知道我上輩子是不是拯救了銀河系，才讓我碰到你！”
看著周婉兒認真的樣子，葉清河沒忍住，張嘴說出了心裡話。
“切！那我一定是幹了什麼十惡不赦的事情，才讓我碰上你！”
雖然心裡己經甜成了蜜，但是面上周婉兒白了葉清河一眼，一臉的嫌棄。
？了藥錯吃是不是天今，伙傢個這河清葉
！話的麻麼這說然突麼怎
！！厭討真
”...罪贖恩報是能可裡這我到你！！準不說也這！哈哈哈哈“
”！！！贖你給！報你給在現我，來“
。句一說下一掐，來起了掐上膊胳他在手兒婉周，完說沒話河清葉
