P
Initializing...
Lemma 2, p. 15 — the constant product invariant (X − x)(Y + y) = XY holds exactly when y = p^cmm(x, X, Y) = xY/(X − x) · Prove2Me