theorem :: RELAT_2:21

canceled;