Redirecting to Brun's theorem