. . . "circumradio" . .