theorem :: RELAT_2:16

canceled;