Dentro de la clase, después de haber restringido codice_20 mediante codice_19 que para codice_22 es posible aplicar a codice_23 todas las características de codice_19, como en codice_25.