divixtotal define ley