Let be a Code. Then is prefix free if for any is not a prefix of Lemma Every prefix-free code is a Decipherable code.