divxtotal un ejemplo de definicion