Интерактивные инструменты для доказательства теорем: иллюстрации и схемы