theorem Th8: :: HUFFMAN1:8

for X, Y being set holds LeavesSet (X \/ Y) = (LeavesSet X) \/ (LeavesSet Y)