Let be a root of . Does there exist a field such that ?
Note that is irreducible by Eisenstein’s criterion; hence . Suppose is a field in between and . By Theorem 5.7 in TAN, we have . Since 13 is prime, either or ; so or .
Thus no fields intermediate to and exist.