Lemma II.1 — $a_i + b_i \ge 0$ along the run of Algorithm 1 · Prove2Me

P

Initializing...

Lemma II.1 — $a_i + b_i \ge 0$ along the run of Algorithm 1 · Prove2Me