Assertion: polygon's side | /r/HasProperty | zero length
Facets:
Source sentences:
text: If one side is zero length, say d = 0, then we have a triangle (which is always cyclic) and this formula reduces to Heron's one.