corollary to the compositum of a Galois extension and another extension is Galois
Corollary 1.
Let be a Galois extension of fields, let be an arbitrary extension and assume that and are both subfields
of some other larger field . The compositum of and is here denoted by . Then .
This follows immediately from item (2) of the theorem.