theorem :: RELAT_1:43

{} ~ = {} ;