show/hide this revision's text 1 [made Community Wiki]

Kurosh's original proof of the subgroup theorem for free products used messy Kurosh systems. This was improved by covering space proofs (or equivalently covering groupoid proofs). One might argue the Bass-Serre theory proof is now the right one.