Condenação de Lula em 2017 foi justa