divixtotal que es una ley formal