Трансформация преобразований
Поскольку , то, вставляя между g и f и используя ассоциативное свойство всякой композиции преобразований , получаем . Далее . Учитывая, что преобразование , обратное композиции данных преобразований , является композицией обратных им преобразований ...