P
Initializing...
Main theorem with the transpositions chosen: at most n field transpositions suffice · Prove2Me