divxtotal ejemplos de definicion por negacion