o que é derrogação