theorem :: YELLOW14:1

bool {0} = {0,1} by CARD_1:49, ZFMISC_1:24;