theorem :: COHSP_1:4

Web {{}} = {}