P

Initializing...

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