Justificação de estado livre de Domingos Ferreira