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