a_{k+1}\mid a_ka_{k-1}+1+a_ka_{k+1}