Assertion: polygon's vertex | /r/HasProperty | ideal
Facets:
Source sentences:
text: Conversely Poincaré proved that any such polygon gives rise to a compact Riemann surface; in fact, Poincaré's polygon theorem applied to more general polygons, where the polygon was allowed to have ideal vertices, but his proof was complete only in the compact case, without such vertices.