1.Simply connected manifolds of nonposiitve curvature. 2.Groups of isometries. 3.Finiteness theorems. 4.Strong rigidity of locally symmetric spaces.