 Hence "gh"−1 normalizes "P" for some "h" that normalizes "B", and then "A""gh"−1 = "B"h−1 = "B", so that "A" and "B" are "NG"("P")-conjugate.Burnside's fusion theorem can be used to give a more powerful factorization called a semidirect product