En efecto, para "i<j" podemos descomponer cualquier trasposición en la forma: