theorem :: RELAT_2:29

canceled;