https://123dok.net/document/yr31kmk7-on-complete-reducibility-in-characteristic-p.html