Redirecting to Green–Tao theorem