verificação de derivação