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