任意取多少个自然数,才能保证至少有两个数的差事7的倍数