isometry public under bijection 4 List Picture As a command %3 n0 isometry n2 translation n0->n2 n1 bijection n1->n0