A1: omega = card omega by CARD_1:def 2;
card omega in card (bool omega) by CARD_1:14;
hence omega in continuum by A1, Th29, CARD_2:31; :: thesis: verum