Thus one can,in principle, express all the elements of the circumscriptible polygon in terms of the parameters a1, . . . , an. Instances of this, when n = 4, are found in Lemms 2 and 3 where the inradius r and the lengths of the diagonals are so expressed. When n > 4, one can prove that r2 is the unique positive zero of the polynomial