[EN] We present hyperbolic geometry and some of its models, define the concept of a hyperbolic manifold, and prove Mostow's rigidity theorem, which states, among other things, that for certain hyperbolic manifolds geometric ...