Наука в кадре: аналитический метод доказательства теорем