Jordan-Holder theorem for profinite groups and applications - Bar-On, T; Nikolov, N (arXiv, 2025)