[ANT14] Eisenstein polynomials and Strassmann's theorem, via a cubic example

So far we've focused mostly on quadratic extensions, and have missed some interesting (although rather tricky and technical!) results as a consequence. Let's see a few of them.