divxtotal que es una definicion