theorem :: COHSP_1:4
Web {{}} = {}