https://123dok.net/document/q2np7d8j-uber-irreduzible-axiomensysteme-endliche-abstrakte-gruppe-bestimmen.html