https://1library.net/document/z3ddoo7y-primitive-permutation-groups-degree.html