Demostramos el Teorema de Correspondencia, que afirma que, dado un grupo $G$ y un subrupo normal $N$, los subgrupos del grupo cociente $G/N$ son exactamente aquellos de la forma $K/N$, siendo $K$ un subgrupo de $G$ que contiene a $N$.