theorem Th21: :: CARD_3:21

for x being object
for f being Function st x in Union (disjoin f) holds
ex y, z being object st x = [y,z]