P
Initializing...
Lemma 3 — $\Delta(M + e_2, e_1) \le \Delta(M, e_1)$ · Prove2Me