the carrier of BCI-EXAMPLE = {{}} by CARD_1:49;
then the carrier of BCI-EXAMPLE is 1 -element ;
hence ( BCI-EXAMPLE is strict & BCI-EXAMPLE is 1 -element ) by STRUCT_0:def 19; :: thesis: verum