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