theorem :: RELAT_2:11

canceled;