小学就能快速地求出1到100的正整数的高斯，他的博士论文证明了哪一个定理？