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.
The concept, initially proposed by Otto Schreier in 1926, has been validated by the classification of finite simple groups, but no more straightforward explanation exists.