Justificação de estado livre de João Batista Martins Rodrigues Lima