No se encontró "first isomorphism theorem". Parece que esa forma no existe