Poderá haver redução da pena de Lula no STJ ou no STF