theorem :: RELAT_1:3

canceled;