P
Initializing...
Lemma 2 — reveal/residual decomposition $J_h=cR_h+(1-c)N_h$ · Prove2Me