symmorphism

not defined yet