theorem :: RELAT_2:25

canceled;