Выдержка из книги
Люсьен Ф.N.
Элементарная математика в современном изложении 1967
Отсюда следует, что прямая Z) t проходит также через середину любого отрезка ММ, соединяющего две соответственные точки ( так как прямая М М параллельна к Dit какова бы ни была точка М), и это условие достаточно, откуда вытекает предложение: любое антиперемещение можно разложить и притом единственным образом в произведение некоторой ортогональной симметрии и некоторого переноса, параллельного оси симметрии. Это произведение к тому же коммутативно.