P
Initializing...
Lemma 2: if $B/A$ is finitely presented, $A$ is the normal closure of finitely many elements · Prove2Me