Proof about Sibling-Property: Binary-tree is Huffman-tree <-> Binary-tree satisfies Sibling-Property