theorem :: RELAT_2:14

canceled;