En un sentido, un codice_7 es codice_7 sólo una vez; un codice_9 es un codice_10 y un codice_11, pero un codice_9 es tan codice_7 por ser codice_10 como por ser codice_11.