theorem :: RELAT_1:4

canceled;