Há um tratado entre o Brasil e Itália sobre extradição. Nesses casos, decisão do STF é impositiva, avisa o presidente da Corte, Gilmar Mendes. Avalia que Lula não tem alternativa, caso o Supremo decida pela extradição de Cesare Battisti, condenado a prisão perpétua em seu país.