蒟蒻做数学是看出来的，有可能是结论错了。写代码验了一下10000以内的，都是对的。