El denominador de la derecha es la función de partición.