The result that every epimorphism in Grp is surjective is due to Otto Schreier (he actually proved more, showing that every subgroup is an equalizer using the free product with one amalgamated subgroup); an elementary proof can be found in (Linderholm 1970).
Το αποτέλεσμα ότι κάθε επιμορφισμός στην Grp είναι επί οφείλεται στον Otto Schreier (που στην πραγματικότητα αποδείχθηκε περισσότερο, δείχνοντας ότι κάθε υποομάδα έχει έναν ισοσταθμιστή χρησιμοποιώντας το ελεύθερο γινόμενο με μία συγχωνευμένη υποομάδα),μία στοιχειώδης απόδειξη βρέθηκε στο (Linderholm 1970).