It can be shown from the axioms that every section is a polytope, and that Rank(G/F) = Rank(G) − Rank(F) − 1.
Из аксиом можно показать, что любая секция является многогранником и что Rank(G/F) = Rank(G) − Rank(F) − 1.