Para cualquier código "biunívoco", aquel código "decodificable de forma única", la suma de las probabilidades de todos los símbolos es siempre menor o igual que uno.