( {X} is countable Subset of (cobool X) & union {X} = X ) by ZFMISC_1:7;
hence cobool X is with_countable_Cover by Lem6a; :: thesis: verum