denote by @ the polar face mapping

denote by @ the polar face mapping of P. recalling that @ is an inclusion-reversing bijection from the family of faces of P to the family os faces of P,
it now follows easily from corollary 2.6.8 that ,
hence the number of i-faces of P is the same as the number of,
we can now prove the promised generalizatation of

Kết quả (Việt) 1:

biểu thị bằng @ ánh xạ cực khuôn mặt của P. nhắc lại rằng @ là một song ánh bao gồm đảo ngược từ gia đình của khuôn mặt của P để khuôn mặt gia đình hệ điều hành của P,nó bây giờ sau một cách dễ dàng từ hệ luỵ 2.6.8 đó,do đó số lượng i-khuôn mặt của P là giống như số lượng,bây giờ chúng ta có thể chứng minh generalizatation hứa hẹn của