divixtotal que es ley formal