clasifican a estas extensiones y donde el generador de formula_13 es asignado al auto-homeomorfismo formula_14,