theorem Th34: :: SETWISEO:37

for A being set holds FinUnion A is idempotent