Cálculo reductivo

vuelve al comienzo