theorem Th19: :: SCMYCIEL:19

for X, x being set st card (union X) = 1 holds
X is pairfree