theorem :: ZFMISC_1:24

for x being object holds bool {x} = {{},{x}}