theorem :: CHAIN_1:6

canceled;