The Green-Tao theorem for primes of the form $x^2+y^2+1$

We prove that the primes of the form $x^2+y^2+1$ contain arbitrarily long non-trivial arithmetic progressions.