https://9dok.org/document/yevrk7me-in-particular-simple-groups-have-trivial-direct-factorization.html