假如n个数中有一个是n的倍数,显然成立
若没有 则这n个数除n后的余数是1,……,n-1
必有某两个数的余数相同,余数是1和n-1的两数之和必能整除n
所以对于任意n个自然数,其中必有一个数或若干个数的和是n的倍数