Добавлена lt_lem — теорема о прогремме для случая если делитель больше делимого