Dada la función de Liouville formula_23, se tiene que