Автоматическая проверка доказательства