theorem :: ZFMISC_1:1
bool {} = {{}}