Trivial Field Extension is Galois

Theorem
Let $F$ be a field.

The trivial field extension $F / F$ is Galois.

Proof
We shall show.

Observe:

where $I_F$ denotes the identity mapping on $F$.

Therefore: