Proof: We show $q$ is a covering map. Throughout let bars denote passage into the quotient. Let $x∈X$ be given. Since $p$ is a covering map, let $U$ be a neighborhood of $x$ with $$p^{-1}(U) = ∪_{j∈J} V_j$$ for disjoint open subsets $V_j$ of $Y$ with each $p|V_j → U$ a homeomomorphism. If $J$ is empty, then we are done. Otherwise, let $V$ be some given $V_j$, and define $V_g = g(V)$ for $g∈\text{Deck}(Y/X)$. By virtue of the universality of $p$, we have $$p^{-1}(U) = ∪_{g∈\text{Deck}(Y/X)} V_g$$ for disjoint open subsets $V_g$ of $Y$ with each $p|V_g → U$ a homeomomorphism. If $\{Gh_i\}_{i∈I}$ is a choice of representatives for the right cosets of $G$, and $W_i = \overline{∪_{g∈Gh_i}V_g}$, we claim $$q^{-1}(U) = ∪_{i∈I} W_i$$ for disjoint open subsets $W_i$ of $W$ with each $q|W_i → U$ a homeomomorphism. Indeed, each $W_i$ is open as it is the image of a $π$-saturated open set in $Y$, and are disjoint since the $V_g$ are disjoint. As well, it is clear that each $π|h_i(V)→W_i$ is a homeomorphism with inverse $φ_i$, hence each $q|W_i→U$ is a homeomorphism as $q = p∘φ_i$ on $W_i$. Thus $q$ is a covering map.
Suppose $G$ is a normal subgroup of deck transformations. Then for $\overline{y_0},\overline{y_1}∈Z$ lying in a common fiber over $q$, we see $y_0,y_1∈Y$ lie in a common fiber over $p$, so let $σ∈\text{Deck}(Y/X)$ be such that $σ(y_0) = y_1$. We define $\overline{σ}(\overline{y}) = \overline{σ(y)}$. This is seen to be independent of the choice of representative in $y$, since if $g∈G$, then $$\overline{σ(g(y))} = \overline{σ(g(σ^{-1}(σ(y))))} = \overline{g'(σ(y))} = \overline{σ(y)}$$ for some other $g'∈G$ since $G$ is normal. $\overline{σ}$ is seen to be a continuous fiber-preserving endomorphism of $Z$ with inverse $\overline{σ^{-1}}$, hence $\overline{σ}∈\text{Deck}(Z/X)$. Therefore $q : Z → X$ is Galois, and since $\overline{σ}\overline{ψ} = \overline{σψ}$ with $\overline{σ} = 1$ iff $σ∈G$, we have $$\text{Deck}(Z/X) ≅ \text{Deck}(Y/X)/G$$ Conversely, suppose $q : Z → X$ is Galois, with $σ∈\text{Deck}(Y/X)$, $g∈G$ given. We will show $h = σgσ^{-1}∈G$. Choose some $y_0∈Y$, and let $σ(y_0)=y_1$. Let $ψ∈\text{Deck}(Z/X)$ be such that $ψ(\overline{y_0}) = \overline{y_1}$. Then both $π∘σ$ and $ψ∘π$ are continuous fiber-preserving maps from $Y$ to $Z$ (relative to $p$ and $q$) sending $y_0$ to $\overline{y_1}$, thus they are equal on all of $Y$. Thus, $$\overline{σ(y)} = ψ(\overline{y})$$ Substituting $y$ with $g(y)$, we have $$\overline{σ(g(y))} = \overline{h(σ(y))} = ψ(\overline{g(y)}) = ψ(\overline{y}) = \overline{σ(y)}$$ so that, since $σ$ is a bijection and $y$ is arbitrary, $$\overline{y} = \overline{h(y)}$$ for all $y∈Y$. But this is to say $h$ preserves the fibers of $π$; necessarily $h∈G$, which concludes the proof that $G$ is normal.$~\square$
