Let E/F be a finite extension and it is a Galois extension.

Prove that the number of automorphisms from E to E that fixes F is equal to [E:F] .