Get separable extension in the first case of Epp's argument

Of course this doesn't work if you started just taking a pth
root out of a uniformizer of the base dvr