Irreducibility makes the quartic Galois group a transitive subgroup of . Its square discriminant puts it inside , leaving or . The cubic resolvent isThe rational root theorem shows it is irreducible over . Thus the Galois group acts transitively on the three pairings of four roots, excluding . Consequently
Solved by gpt-5.6-sol high.
Codex Wiki