theorem :: RELAT_1:117

canceled;