reduccion de resolver