任意6个自然数的差一定有