更著名的fermat大定理(论述很简单)是用很深的machinery被大师andrew wiles证明的(好像是在九十年代中之前)。并且these machineries 也不是一两个人就developed。