https://123dok.net/document/qo5190r5-galois-groups-fields-definition-solvable-branched-coverings.html