Idéaux de Z/nZ

[PythagoreSauvage]

Bonjour, j'ai un peu de mal à prouver que les idéaux de sont de la forme où .

Un théorème nous dit qu'il y a une bijection entre les idéaux de qui contiennent (ce sont les sous-groupes de la forme où , pas de pb là-dessus) et les idéaux de l'anneau quotient mais je ne vois pas comment conclure

Merci d'avance