theorem Th26: :: CARD_FIL:26

omega is strong_limit