Статистика для Теореми шкільного курсу планіметрії: аналіз типів та способів доведень