ｎ次単体的多面体に対しては，デーン・サマービル関係式

　　（−１）^(n-1)ｆk＝Σ(k,n-1)（−１）^j（ｊ＋１，ｋ＋１）ｆj

が成り立つ．

　また，このデーン・サマービル関係式の書き方はいくつかあるが

　　Σ(0,k)（−１）^k-j（ｎ−ｊ，ｎ−ｋ）ｆj-1＝Σ(0,n-k)（−１）^n-k-j（ｎ−ｊ，ｋ）ｆj-1

　　ｆk-1＝Σ(k,n)（−１）^n-j（ｊ，ｋ）ｆj-1

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　頂点数ｆ0のｎ多面体のｊ面の最大数はいくつか？に対して，頂点数ｆ0のｎ巡回多面体はすべてのｊに対して最大数のｊ面をもつというのが「上限定理」である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝