P
Initializing...
Every nontrivial normal subgroup of $F$ contains a copy of $F$ · Prove2Me