Justificação de estado livre de Avelino Martins Oliveira