在区间【1，13】上任取五个自然数，其中一定有相加使等式两边相等的一组解。
不太会表述，大家应该懂我意思吧。
比如说我取1，1，1，1，5，那就有1＝1或者1+1＝1+1的解。
取3，5，6，7，13，那就有6+7＝13的解。
取5，8，8，9，10，那就有8＝8的解。
我通过枚举法发现总有这样的解，随便怎么取值都不会有等式两边不相等的情况。
那如何用数学方法证明这个结论呢？各位大佬求教！