,Uses,"Fact about" "Hall implies join of Sylow subgroups","Sylow subgroups exist,Sylow of Hall implies Sylow,Lagrange's theorem","Hall subgroup; 2,Join of Sylow subgroups; 2"