Teorema de codificación de fuentes de Shannon