Supongamos que $F$ es un grupo libre en $2$ generadores y deje $K,H \unlhd F$ ser tal que $F/H$ $F/K$ son isomorfos.
Si $\phi \colon F/H \to F/K$ es un isomorfismo, puede ser elevado a un automorphism $\tilde{\phi} \in \mathop{Aut}(F)$ tal que $\tilde{\phi}(H) = K$?