theorem :: COHSP_1:71
'not' {{}} = {{}}