Роль доведень у навчанні математики та їх підтримка засобами комп’ютерного моделювання у пакетах динамічної геометрії