Вступление. Деконструктор математических формул, демонстрирующий доказательства теорем с настройкой параметров