A fibering theorem for 3-manifolds (Groups, Complexity, Cryptology, 2021)