没听说过：）原来他证明了泰勒斯定理，这个了不起：）