En regroupant les diverses transformations on obtient

L'entier convient, ainsi que les matrices et .