The extension filed K of a field F is called a
splitting field for the polynomial if factors completely into
linear factors in and does not factor
completely into linear factors over any proper subfield of K
containing F.