Equivalence of Definitions of Galois Extension