https://123dok.net/document/yevkv76e-on-the-semi-simplicity-of-galois-actions.html