An⁢An+1⁢Cn+1>0,