A1: omega = card omega by CARD_1:def 5;
card omega in card (bool omega) by CARD_1:30;
hence omega in continuum by A1, Th29, CARD_2:44; :: thesis: verum