$m$ 是正整数，有两个长为 $m$ 的整数数组 $a_1,a_2,...,a_m$ 和 $b_1,b_2,...,b_m$，任何 $a_i,b_i\in[1,m]$（注意 $a,b$ 不一定是排列）。求证：存在 $1\le p\le q\le m,1\le s\le t\le m$，使得 $a_p+a_{p+1}+...+a_q=b_s+b_{s+1}+...+b_t$，即存在 $a$ 的子段和等于 $b$ 的子段和。