necessary and sufficient condition for the existence of a prefix code for a given set of codeword lengths