Redução direita

EC-CAC14