Assertion: polygon's vertex | /r/HasAspect | positive angular defect
Facets:
Source sentences:
text: If a net is given together with a pattern for gluing its edges together, such that each vertex of the resulting shape has positive angular defect and such that the sum of these defects is exactly 4π, then there necessarily exists exactly one polyhedron that can be folded from it; this is Alexandrov's uniqueness theorem.