Definimos así la función de partición canónica del sistema formula_1