theorem :: RELAT_2:6

canceled;