Ontify
A theorem about the numbers of faces of different dimensions in an abstract simplicial complex.