很小的時候，曾看到一本數學科普書，其中有一章談到定理的一般證明和特殊情況下的證明。一般來說，後者會容易些。現在能想到的例子（不是當時書上的）有剛體力學和一般多粒子系統。不可壓縮流體和一般的流體力學。但該書指出，例外也是有的。

費馬大定理 N=3  的證明，a^3+b^3=c^3對任意整數abc  不成立，用到相當高深的數論知識。但如果把數域從正整數擴展到高斯數，證明就容易的多。書中用了2-3頁。

什麼是高斯數，當時（小學）不知道，現在還是不知道，只記得  -1的立方根也是高斯數。證明的第一步就是把c^3移到左邊變成（-c）^3。

這證明應該很簡單，但對一個小學生還是太難。如從上大學算起，我已經找了30年了，無法找到。

有一朋友還給出另一個例子，整數線性規劃是一般線性規劃的特例，但至今沒有系統的方法，而一般線性規劃，早就有了標準的單純形法（Simplex）。