theorem :: RELAT_1:6

canceled;