theorem :: CHAIN_1:14

canceled;