theorem :: RELAT_2:23

canceled;