Assertion: icosahedron's vertex | /r/AtLocation | sphere
Facets:
Source sentences:
text: Using 1/τ2 = 1 − 1/τ one verifies that all vertices are on a sphere, centered at the origin, with the radius squared equal to 10−9/τ.