,Uses,"Fact about"
"Hall satisfies permuting transfer condition","Index is multiplicative,Lagrange's theorem,Product formula","Hall subgroup; 1,Permuting transfer condition; 2"
"Sylow satisfies permuting transfer condition","Index is multiplicative,Lagrange's theorem,Product formula","Sylow subgroup; 1,Permuting transfer condition; 2"