Para demostrar esta propiedad, hace falta conocer las definiciones de las operaciones longitud y concatenar.