It was proposed by Otto Schreier in 1926, and is now known to be true as a result of the classification of finite simple groups, but no simpler proof is known.
Den framlades av Otto Schreier 1926, och numera vet man att den är sann som en konsekvens av klassificeringen av ändliga enkla grupper, men inget enklare bevis är känt.