Assertion: root φ rectangle | /r/HasProperty | divided by a diagonal
Facets:
Source sentences:
text: If a root-φ rectangle is divided by a diagonal, the result is two congruent Kepler triangles.