因为所有自然数除以4的结果 有整除 余1 余2 余3
5个自然数中必然有两个是同一种结果 比如说都余1 那么相减就能被4整除