Pero es posible reducir aún más este sistema restringiéndonos a las trasposiciones de la forma formula_3.