theorem :: RELAT_2:5

canceled;