theorem :: RELAT_2:20

canceled;