Статистика для Доведення теорем як засіб активізації навчання студентів вищої математики у технічних ВОЗ