Eisenstein's_criterion loading ...