De este modo, el conjunto de las trasposiciones forma un sistema generador de formula_2.