Методика обучения доказательству с использованием средств естественного вывода при изучении курса математики основной школы