diagrama de los teoremas

si es de Cayley es de cayley del tipo 2