theorem Th47: :: CARD_1:49
1 = {0}