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