Bewijs dat er twee (strikt) stijgende rijen $a_n$ en $b_n$ bestaan zodat $a_n(a_n+1)|b_n^2+1$ voor alle $n$.