P
Initializing...
Proof of Lemma 2, p. 11 — for q₂ ≠ M, JRP(q₁, q₂) > M + EOQ_{K₂,H₂}(M) + 1 = JRP(M, M) · Prove2Me