Методы доказательства теорем: обзор и примеры