theorem :: RELAT_2:9

canceled;