theorem :: RELAT_2:15

canceled;