I'm trying to understand a proof of the following Lemma (regarding Catalan's conjecture):
Lemma: Let $x\in \mathbb{Z}$, $2
2$prime, $G:=\text{Gal}(\mathbb{Q}(\zeta_p):\mathbb{Q})$, $x\equiv 1\pmod{p}$ and $\lvert x\lvert >q^{p-1}+q$. Then the map $\phi:\{\theta\in\mathbb{Z}:(x-\zeta_p)^\theta\in\mathbb{Q}(\zeta_p)^{*q}\}\rightarrow\mathbb{Q}(\zeta_p)$, $\ $ $\phi(\theta)=\alpha$ such that $\alpha^q=(x-\zeta)^\theta$ is injective.
I don't understand the following step in the proof:
The ideals $(x-\sigma(\zeta_p))_{\sigma \in G}$ in $\mathbb{Z}[\zeta_p]$ have at most the factor $(1-\zeta_p)$ in common. Since $x\equiv 1\pmod{p}$ the ideals do have this factor in common.
Could you please explain to me why these two statements are true?