Эффективные методики для обучения доказательствам теорем: пошаговые схемы и примеры