一道神一般的数学证明题第四题.