theorem :: RELAT_2:24

canceled;