theorem Th8: :: HUFFMAN1:8
for X, Y being set holds LeavesSet (X \/ Y) = (LeavesSet X) \/ (LeavesSet Y)