theorem Th2: :: COHSP_1:2

for X being set holds union (FlatCoh X) = X