Aplicando ese procedimiento formal llegamos a al análogo cuántico del teorema de Liouville: