La función de partición resulta: