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.
Otto Schreier proposed this idea in 1926, and its validity was confirmed through the classification of finite simple groups, although a simpler proof remains elusive.