Aquí es más elemental que la cita de Dirichlet.
Supongamos $P_2\gt P_1$$P_2-P_1=d$. Si $P_3=P_1+k$ queremos $P_3+d=P_2+k$ a no ser una de las primeras.
Así que, dado que $d$ necesitamos encontrar un primer $P_3$ $P_3+d$ no de una prima.
Ahora sabemos que hay arbitrariamente grandes espacios entre los números primos por ejemplo, $n!+2, \dots n!+n$ da una diferencia de tamaño, al menos,$n-1$. (todos estos están compuestos por la construcción, por lo que el primer antes y después de que el primer tendrán una gran brecha)
Podemos optar $n\gt d+1$ aquí, así que no será un $P_3$ distancia mayor que $d$ desde el siguiente primo, y podemos elegir el $k$ a recoger esto.