Si considera l'isomorfismo definito dalla tabella descritta nel testo String vs Natural Numbers

 a a c
(0,0)
  (0,2)
    (3,3)
      24 

  18
  (3,2)
(0,2)
 a c