theorem :: COHSP_1:71

'not' {{}} = {{}}