结论是成立的,你的例子中,9-5=4 ,是 4 的倍数.
证明：任一自然数,被 4 除的余数只可能是：0、1、2、3 四个之一,
由抽屉原理,任意 5 个不相同的自然数中,一定至少有两个数,它们被 4 除的余数相同,
那么这两个数的差就是 4 的倍数.