Assertion: octahedron's number | /r/HasProperty | given
Facets:
Source sentences:
text: The number of k-dimensional components (vertices, edges, faces, ..., facets) in an n-dimensional cross-polytope is thus given by (see binomial coefficient):