theorem :: RELAT_1:5

canceled;