theorem Th36: :: SETWISEO:39

for A being set holds FinUnion A is associative