P
Initializing...
Lemma 3.3: every edge of $Z$ has a unique generating seed, and $\phi_a:G\cong Z[W_a]$ · Prove2Me