最好用电脑分区工具:一道看似简单但很难的数学证明题