theorem :: RELAT_2:17

canceled;