Consensus-Based Algorithm Proof - JING LI (2019)