We define recursively $p_1=2,p_2=3$ and $$p_{n}= \min_{F_{n-1}}|A-B| $$ Where $F_{n-1}=((A,B) | (A,B)=1 \\ \mathrm{and} \\ ( p_i |A \mathrm{\\ or\}\\ B) \\ 1 \leq i \leq n-1 , |A-B| \not =1 )$

Is always $p_n$ the $n-th$ prime?