theorem :: CHAIN_1:10

canceled;