Correção da msg mx não é irredutivel