https://123dok.net/document/yev1jpo4-on-minimal-non-pc-groups.html