theorem Th6: :: ABCMIZ_1:6

for x, y, z being set st x in {z} * & y in {z} * & card x = card y holds
x = y