Subsection III.5.1.2

Field isomorphism of splitting fields