P
Initializing...
Lemma 1, p.11 — the identity (9) for $f(p)-f(p^*)$ · Prove2Me