Justificação de estado livre de Domingos Dias