4. Teorema de Shannon para codificação não-ruidosa