Add Proof for MergeCount algo.