Assertion: regular polygon | /r/HasProperty | p.sub.0
Facets:
Source sentences:
text: Proof A regular polygon [P.sub.0] = [x.sub.1][x.sub.2]...[x.sub.m] is inscribed in the unit circle [C.sub.0], which lies in the plane x0y and has centre 0.