theorem Th47: :: CARD_1:49

1 = {0}