divxtotal from definicion