Bizonyítsuk be, hogy ha $a_1$, $a_2$, $\text{...}$, $a_{29}$ egy egész számokból álló szigorúan monoton növő sorozat, és $a_{k+7}-a_k\le 13$ minden $1\le k\le 22$ egészre, akkor található olyan $i$ és $j$ index, amelyre $a_i-a_j=4$.