Assertion: dodecahedron's vertex | /r/HasProperty | found using the equation
Facets:
Source sentences:
text: The other two vertices are found using the equation $A_4 = \phi (A_2 - O)