Prove that for every pair of positive integers $(m,n)$, bigger than $2$, there exists positive integer $k$ and numbers $a_0,a_1,...,a_k$, which are bigger than $2$, such that $a_0=m$, $a_1=n$ and for all $i=0,1,...,k-1$ holds $$ a_i+a_{i+1} \mid a_ia_{i+1}+1$$
Problem
Source: Bosnia and Herzegovina EGMO Team Selection Test 2018
Tags: positive integer, number theory, divides