theorem :: RELAT_1:55

id {} = {}