# question about disconnected normal covering map

I have stuck on the problem in Hatcher, Algebraic topology, which claim that if the covering map $q\circ p:X\rightarrow Y \rightarrow Z$ is normal, then the covering $p:X\rightarrow Y$ also is normal.

(Problem 16 in Section 1.3)

The messy part of this problem (I think) is that he only gives the condition that each space is locally path-connected.

This opens the case that X is not connected, so normality of the projection of the fundamental group of the covering space is not enough to show that $p$ is normal.

I think the direct proof should be needed, but have no idea what should I do.