https://123dok.net/document/zwv8972g-hm-zur-axiomatik-endlicher-gruppen.html