В предыдущем посту писалось о программе создания копии экрана и преобразования её в gif-файл. Добрые люди из сообщества Diary посоветовали UVScreenCamera. Вот что получилось для одной теоремы.
Повтор демонстрации доказательства теоремы происходит 5 раз. Но если кто-то захочет продлить удовольствие, надо в своём браузере нажать кнопку обновления страницы.