Tagged: Eisenstein’s criterion