mensaje, es decir, la función de codificación "E" es una función inyectiva.