Splitting Field Is Galois Extension