关于数论中整除部分的一道题,证明题,