theorem :: CARD_FIL:25

omega is inaccessible by CARD_5:30;