and so by Kraft 's inequality there exists a prefix-free code having those word lengths . Thus the minimal satisfies
and so by Kraft 's inequality there exists a prefix-minimal code having those word lengths . Thus the free satisfies