Arithmeticity of hyperbolic 3-manifolds containing infinitely many totally geodesic surfaces - Gregory Margulis; Amir Mohammadi (2019)