Observando que la tercera restricción, formula_77 implica que formula_78 vemos que cada vez que haya una formula_63 delante de una formula_62 , podremos aplicar la relación anterior y la formula_63 pasa para detrás de formula_82 Así, que formula_59 consiste de los productos