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