P
Initializing...
Lemma 2.7 — (1/(k+2))𝟙 lies in Nᵏ(G) · Prove2Me