И.В. Аржанцев. Бесконечная транзитивность. Семинар 4