哈夫曼编码作为变长前缀编码，解码无需额外分隔符的原因是哈夫曼树中任何一个字符的叶子结点都不会成为另一个字符结点的祖先，这个说法是否正确？