 The other part, which is where the composition factors do not have coprime orders, is tackled in extension theory.The Schur–Zassenhaus theorem was introduced by .Theorem 25, which he credits to Issai Schur, proves the existence of a complement, and theorem 27 proves that all complements are conjugate under the assumption that formula_2 or formula_3 is solvable.