theorem :: ZFMISC_1:1

bool {} = {{}}