一个数分证明题