P
Initializing...
Corollary 1.8.3: $B_n$ acts faithfully on the free group $F_n$ · Prove2Me