Text this: A simple proof of a generalization of eisenstein's irreducibility criterion