P
Initializing...
Lemma 4 — $\Delta(M + N, e) \le \Delta(M, e)$ · Prove2Me