Justificação de estado livre de José Lopes Martins