theorem :: RELAT_2:7

canceled;