divxtotal to definicion