TITLE: Формалізація  і унаочнення позиційних задач в 
геометрії