Lo que queda es la integral en todo el espacio fásico de formula_9, igual a 1 por definición.