Utilizando la cláusula codice_11 se asegura la fortaleza de tipos porque cada clase debe implementar los métodos definidos en la interfaz.