Неевклидова геометрия Лобачевского: теоремы и примеры