theorem :: RELAT_2:26

canceled;