Redirecting to Eisenstein's theorem