isotrimorphism

not defined yet