Assertion: polygon's side | /r/HasProperty | closed non-trivialloop
Facets:
Source sentences:
text: The above construction is sufficient to guarantee that each side of the polygon is a closed (non-trivial) loop in the Riemann surface H/Γ.