theorem :: RELAT_1:2

canceled;